From b31066f1f5b4dacf53af790feb5aa8b89de32ae3 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 20 Feb 2013 18:41:04 +0100
Subject: [PATCH] Free timer after it's been used.

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

diff --git a/src/simix/smx_global.c b/src/simix/smx_global.c
index 7cd414d13e..3799230caf 100644
--- a/src/simix/smx_global.c
+++ b/src/simix/smx_global.c
@@ -315,6 +315,7 @@ void SIMIX_run(void)
        timer = xbt_heap_pop(simix_timers);
        if (timer->func)
          ((void (*)(void*))timer->func)(timer->args);
+       xbt_free(timer);
     }
     /* Wake up all processes waiting for a Surf action to finish */
     xbt_dynar_foreach(model_list, iter, model) {
-- 
2.20.1