[mc] Disable MC_DEBUG (enabled by mistake)

[simgrid.git] / src / mc / mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index dfabace..e7a2ce2 100644 (file)
--- 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_DEBUG 1
 #define MC_VERBOSE 1

-#define MC_USE_SNAPSHOT_HASH 1

 
 /********************************** DPOR for safety property **************************************/
 
 
 /********************************** DPOR for safety property **************************************/