mc/compare: kill dead code

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

diff --git a/src/mc/mc_private.hpp b/src/mc/mc_private.hpp
index d12942f..aa749a4 100644 (file)
--- a/src/mc/mc_private.hpp
+++ b/src/mc/mc_private.hpp
@@ -32,11 +32,6 @@ XBT_PRIVATE extern FILE* dot_output;
 
 XBT_PRIVATE void MC_show_deadlock(void);
 
 
 XBT_PRIVATE void MC_show_deadlock(void);
 

-/********************************** Snapshot comparison **********************************/
-
-//#define MC_DEBUG 1
-#define MC_VERBOSE 1
-

 /********************************** Miscellaneous **********************************/
 namespace simgrid {
 namespace mc {
 /********************************** Miscellaneous **********************************/
 namespace simgrid {
 namespace mc {