model-checker : compare the pid of enabled processes before memory introspection

[simgrid.git] / src / mc / mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index df76363..809f877 100644 (file)
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -280,11 +280,11 @@ void MC_init()
 
     MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double));
 
-    /*smx_process_t process;
+    smx_process_t process;
     xbt_swag_foreach(process, simix_global->process_list) {
       MC_ignore_heap(&(process->process_hookup),
                      sizeof(process->process_hookup));
-                     }*/
+                     }
   }
 
   if (raw_mem_set)