Add a variable HAVE_MC for enable model-checking.

[simgrid.git] / src / surf / surf.c

diff --git a/src/surf/surf.c b/src/surf/surf.c
index 5b60328..5b31c8b 100644 (file)
--- a/src/surf/surf.c
+++ b/src/surf/surf.c
@@ -278,9 +278,10 @@ void surf_init(int *argc, char **argv)
     history = tmgr_history_new();
 
   surf_config_init(argc, argv);
-
+#ifdef HAVE_MC
   if (_surf_do_model_check)
     MC_memory_init();
+#endif
 }
 
 #ifdef WIN32