model-checker : comment erroneous ignore (not completely sure ...)

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

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 887aedc..f9286fe 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));
 
 
     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));
     xbt_swag_foreach(process, simix_global->process_list) {
       MC_ignore_heap(&(process->process_hookup),
                      sizeof(process->process_hookup));

-    }
+                     }*/

   }
 
   if (raw_mem_set)
   }
 
   if (raw_mem_set)