From 86ba806c0faa7a0e1326694fa9cb5daf24ab9279 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Wed, 6 Jul 2011 14:27:19 +0200
Subject: [PATCH] Free globals before exit in timer example.

---
 examples/gras/timer/timer.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/gras/timer/timer.c b/examples/gras/timer/timer.c
index 22be3d25ee..c2c16d27e7 100644
--- a/examples/gras/timer/timer.c
+++ b/examples/gras/timer/timer.c
@@ -85,5 +85,6 @@ int client(int argc, char *argv[])
     gras_msg_handle(5.0);
   }
   gras_exit();
+  xbt_free(globals);
   return 0;
 }                               /* end_of_client */
-- 
2.20.1