plug a small memleak

diff --git a/src/xbt/xbt_os_thread.c b/src/xbt/xbt_os_thread.c
index 613869a..b83e310 100644 (file)
--- 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");
 
   //   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;
   free(main_thread);
   main_thread = NULL;
   thread_mod_inited = 0;