X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ad452c358d2b00bbabcd8f10e54a36b3c56985de..b1c088d524f3cbbcc1b67ca52f02403506fb46d4:/src/msg/m_process.c?ds=sidebyside

diff --git a/src/msg/m_process.c b/src/msg/m_process.c
index e8390ba512..2a18ad281e 100644
--- a/src/msg/m_process.c
+++ b/src/msg/m_process.c
@@ -31,6 +31,10 @@ static void MSG_process_cleanup(void *arg)
 
   PAJE_PROCESS_FREE(arg);
 
+  while(((m_process_t)arg)->simdata->paje_state) {
+    PAJE_PROCESS_POP_STATE((m_process_t)arg);
+  }
+
   xbt_fifo_remove(msg_global->process_list, arg);
   xbt_fifo_remove(msg_global->process_to_run, arg);
   xbt_fifo_remove(((m_process_t) arg)->simdata->host->simdata->process_list, arg);