[mc] Disable MC_DEBUG (enabled by mistake)

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 3ffc217..e7a2ce2 100644 (file)
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -261,7 +261,7 @@ int snapshot_compare(void *state1, void *state2);
 int SIMIX_pre_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2);
 void print_comparison_times(void);
 
 int SIMIX_pre_mc_compare_snapshots(smx_simcall_t simcall, mc_snapshot_t s1, mc_snapshot_t s2);
 void print_comparison_times(void);
 

-#define MC_DEBUG 1
+//#define MC_DEBUG 1

 #define MC_VERBOSE 1
 
 /********************************** DPOR for safety property **************************************/
 #define MC_VERBOSE 1
 
 /********************************** DPOR for safety property **************************************/