From bd6da7e529fb534cf85c21806fdf59fc43642efd Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 24 Aug 2016 10:42:22 +0200
Subject: [PATCH] fix a memleak by not creating things we never use

---
 examples/msg/app-pmm/app-pmm.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/examples/msg/app-pmm/app-pmm.c b/examples/msg/app-pmm/app-pmm.c
index dd5e22af34..7ddb867e1e 100644
--- a/examples/msg/app-pmm/app-pmm.c
+++ b/examples/msg/app-pmm/app-pmm.c
@@ -240,8 +240,6 @@ static void task_cleanup(void *arg){
 
 int main(int argc, char *argv[])
 {
-  xbt_os_timer_t timer = xbt_os_timer_new();
-
   MSG_init(&argc, argv);
   const char *platform = "../../platforms/cluster.xml";
   if (argc > 1)
@@ -259,9 +257,7 @@ int main(int argc, char *argv[])
     xbt_free(hostname);
   }
 
-  xbt_os_cputimer_start(timer);
   msg_error_t res = MSG_main();
-  xbt_os_cputimer_stop(timer);
   XBT_INFO("Simulated time: %g", MSG_get_clock());
 
   return res != MSG_OK;
-- 
2.20.1