From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 3 Jan 2014 11:02:17 +0000 (+0100)
Subject: [mc] Restore lightweight MC initialisation procedure
X-Git-Tag: v3_11~199^2~2^2~35^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3a31adee8653ca3bbdb31b065ef9aad646342bd6?hp=f150764ab6d151957355c437ad66146210cbf8f9

[mc] Restore lightweight MC initialisation procedure
---

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 7521448d9f..2e9351e5e1 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1907,7 +1907,7 @@ void MC_modelcheck_safety(void)
   }else{
     MC_SET_RAW_MEM;
     MC_init_memory_map_info();
-    MC_init();
+    MC_init_debug_info();
     MC_UNSET_RAW_MEM;
   }