X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/718cf4ba4da6d6032f60d8c4c432807b9c018185..58576525f2620d9b76a7f97f9451e779f2084c4f:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index dfabace050..e7a2ce28a7 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -263,7 +263,6 @@ void print_comparison_times(void);
 
 //#define MC_DEBUG 1
 #define MC_VERBOSE 1
-#define MC_USE_SNAPSHOT_HASH 1
 
 /********************************** DPOR for safety property **************************************/