From 759d4bbecaadc278d3c52882a6b9b4418d12c831 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 24 May 2017 01:15:55 +0200
Subject: [PATCH] plug a small memleak

---
 src/xbt/xbt_os_thread.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index 613869ac81..b83e310022 100644
--- a/src/xbt/xbt_os_thread.c
+++ b/src/xbt/xbt_os_thread.c
@@ -122,6 +122,7 @@ void xbt_os_thread_mod_postexit(void)
 
   //   if ((errcode=pthread_key_delete(xbt_self_thread_key)))
   //     THROWF(system_error,errcode,"pthread_key_delete failed for xbt_self_thread_key");
+  free(main_thread->name);
   free(main_thread);
   main_thread = NULL;
   thread_mod_inited = 0;
-- 
2.20.1