From c1074c3f3469abf76ed140c8c87271922a88a14f Mon Sep 17 00:00:00 2001
From: =?utf8?q?Christophe=20Thi=C3=A9ry?= <christopho128@gmail.com>
Date: Mon, 25 Jul 2011 14:17:18 +0200
Subject: [PATCH] SIMIX: clean the processes trash after each scheduling round.

---
 src/simix/smx_global.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index b4de7e8266..786790263e 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -234,6 +234,10 @@ void SIMIX_run(void)
           SIMIX_request_post((smx_action_t) action->data);
       }
     }
+
+    /* Clean processes to destroy */
+    SIMIX_process_empty_trash();
+
   } while (time != -1.0);
 
   if (xbt_swag_size(simix_global->process_list) != 0) {
-- 
2.20.1