X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/c0dc66a3644be860680e6df4092484c522e59d40..67d9420f78fbf068e11d3f575ebd59a995aeefee:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 1af07a96cc..ad54b842ad 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -59,6 +59,7 @@ mc_state_t mc_current_state = NULL;
 char mc_replay_mode = FALSE;
 double *mc_time = NULL;
 mc_snapshot_t initial_snapshot = NULL;
+int raw_mem_set;
 
 /* Safety */
 
@@ -130,6 +131,7 @@ void MC_init_safety(void)
   MC_take_snapshot(initial_snapshot);
   MC_UNSET_RAW_MEM;
 
+
   if(raw_mem_set)
     MC_SET_RAW_MEM;
   else
@@ -598,7 +600,6 @@ void MC_diff(void){
     switch(sn->regions[i]->type){
     case 0: /* heap */
       XBT_INFO("Size of heap : %zu", sn->regions[i]->size);
-      mmalloc_display_info_heap(sn->regions[i]->data);
       break;
     case 1 : /* libsimgrid */
       XBT_INFO("Size of libsimgrid : %zu", sn->regions[i]->size);