X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5c1c8c7b586fa9740c5e55b3f4e38137e8dac711..759d4bbecaadc278d3c52882a6b9b4418d12c831:/src/xbt/xbt_os_thread.c?ds=sidebyside

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;