From 35553ca44f8c82294d36a76706fe89b54d2d5d92 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 6 Apr 2016 11:35:18 +0200
Subject: [PATCH] plug a memleak

---
 src/surf/trace_mgr.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/surf/trace_mgr.cpp b/src/surf/trace_mgr.cpp
index 63791a04e9..838b9e75cd 100644
--- a/src/surf/trace_mgr.cpp
+++ b/src/surf/trace_mgr.cpp
@@ -181,8 +181,10 @@ tmgr_trace_iterator_t simgrid::trace_mgr::future_evt_set::pop_leq(
 
 void tmgr_finalize(void)
 {
-  for (auto kv : trace_list)
+  for (auto kv : trace_list) {
+    xbt_free((char*)kv.first);
     delete kv.second;
+  }
 }
 
 void tmgr_trace_event_unref(tmgr_trace_iterator_t *trace_event)
-- 
2.20.1