[mc] Restore lightweight MC initialisation procedure

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 7521448..2e9351e 100644 (file)
--- 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;
   }