plug a memleak

[simgrid.git] / src / xbt / xbt_rl_synchro.c

diff --git a/src/xbt/xbt_rl_synchro.c b/src/xbt/xbt_rl_synchro.c
index 1a74c0b..519064c 100644 (file)
--- a/src/xbt/xbt_rl_synchro.c
+++ b/src/xbt/xbt_rl_synchro.c
@@ -64,6 +64,7 @@ void xbt_thread_join(xbt_thread_t thread)
 {
   DEBUG1("Join thread %p", thread);
   xbt_os_thread_join(thread->os_thread, NULL);
+  xbt_free(thread);
 }
 
 void xbt_thread_exit()