plug a memleak

diff --git a/src/surf/trace_mgr.cpp b/src/surf/trace_mgr.cpp
index 63791a0..838b9e7 100644 (file)
--- 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)