From 3a31adee8653ca3bbdb31b065ef9aad646342bd6 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Fri, 3 Jan 2014 12:02:17 +0100
Subject: [PATCH 1/1] [mc] Restore lightweight MC initialisation procedure

---
 src/mc/mc_global.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
   }
 
-- 
2.20.1