X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d624a13aa65e36f2a7c55ca8b2b4cb7d2aa37916..2434cd24de2d531a46c3b7089f490ddce659c566:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index ac3848df43..7daab3b0a9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -35,8 +35,7 @@ SMPI:
    MPI_ERRORS_ARE_FATAL, so codes which were sending warnings may start failing.
 
 Model-Checker:
- - Bump our requirements to C++14 for the model-checker. This is
-   because of xxHash that we now use as a hash implementation.
+ - Use the included xxHash as an hash implem when C++14 is usable.
  - Option model-checker/hash was removed. This is always activated now.
  - New option smpi/buffering controls the MPI buffering in MC mode.
  - MPI calls now MC_assert() that no MPI_ERR_* code is returned.