fix non-MC builds

diff --git a/src/mc/mc_config.cpp b/src/mc/mc_config.cpp
index 9353d3e..6dd2b9f 100644 (file)
--- a/src/mc/mc_config.cpp
+++ b/src/mc/mc_config.cpp
@@ -18,6 +18,8 @@ namespace mc {
 simgrid::mc::ReductionMode reduction_mode = simgrid::mc::ReductionMode::unset;
 }
 }
 simgrid::mc::ReductionMode reduction_mode = simgrid::mc::ReductionMode::unset;
 }
 }

+#else
+#define _sg_do_model_check 0

 #endif
 
 static void _mc_cfg_cb_check(const char* spec, bool more_check = true)
 #endif
 
 static void _mc_cfg_cb_check(const char* spec, bool more_check = true)