X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ead8b3a1775defecebc316cb5e4fcddbd283df4c..827af93af994ce96e6c607a0bec898bc62f1acbd:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 19502f6e90..0447fa4e4a 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -207,8 +207,7 @@ void MC_modelcheck_safety(void)
 
   MC_UNSET_RAW_MEM;
 
-  if(_surf_mc_stateful > 0)
-    MC_init();
+  MC_init();
 
   MC_dpor_init();