Remove option model-checker/hash; This is always activated now.

[simgrid.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 11be863..b67daea 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,9 @@ SimGrid (3.23.3) NOT RELEASED YET (v3.24 expected September 23. 7:50 UTC)
 SMPI:
  - Fortran bindings for DVFS have been removed.
 
+Model-Checker:
+ - Option model-checker/hash was removed. This is always activated now.
+
 ----------------------------------------------------------------------------
 
 SimGrid (3.23.2) July 8. 2019