From c41d2ffc9d4d4b5e15f98d5b4febc20ab9810aed Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 1 Nov 2014 21:52:42 +0100
Subject: [PATCH 1/1] kill dead code

---
 src/simix/smx_global.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 627075a227..2ce8738ec1 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -444,8 +444,6 @@ void SIMIX_run(void)
 
 
     XBT_DEBUG("### time %f, empty %d", time, xbt_dynar_is_empty(simix_global->process_to_run));
-    // !(time == -1.0 && xbt_dynar_is_empty())
-
 
   } while (time != -1.0 || !xbt_dynar_is_empty(simix_global->process_to_run));
 
-- 
2.20.1