X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e1c7ef48015ffa3fdd021c024b2192f1941a4bb7..b5b3f6e2f7cb378b14beda45623375aef69dda64:/src/mc/mc_dpor.c?ds=sidebyside

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 58d9728dde..643acf88dc 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -224,6 +224,9 @@ void MC_dpor_init()
   /* Wait for requests (schedules processes) */
   MC_wait_for_requests();
 
+  MC_ignore_heap(simix_global->process_to_run->data, 0);
+  MC_ignore_heap(simix_global->process_that_ran->data, 0);
+
   MC_SET_RAW_MEM;
  
   /* Get an enabled process and insert it in the interleave set of the initial state */