From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 14 Feb 2014 10:59:01 +0000 (+0100)
Subject: [mc] Disable MC_DEBUG (enabled by mistake)
X-Git-Tag: v3_11~199^2~2^2~24^2~11
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/58576525f2620d9b76a7f97f9451e779f2084c4f?ds=inline

[mc] Disable MC_DEBUG (enabled by mistake)
---

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 3ffc21772b..e7a2ce28a7 100644
--- 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);
 
-#define MC_DEBUG 1
+//#define MC_DEBUG 1
 #define MC_VERBOSE 1
 
 /********************************** DPOR for safety property **************************************/