Update doc for asynchronous comm and pthread_mutexes of pthread_conds.

[simgrid.git] / src / xbt / mmalloc / detach.c

diff --git a/src/xbt/mmalloc/detach.c b/src/xbt/mmalloc/detach.c
index 43b86870727a438d1c345ad128814b6dca2c65d3..dbf4d34b29391a1d3c7caca5a554f3243f9d588d 100644 (file)
--- a/src/xbt/mmalloc/detach.c
+++ b/src/xbt/mmalloc/detach.c
@@ -37,6 +37,7 @@ mmalloc_detach (void *md)
     {
 
       mtemp = *(struct mdesc *) md;
+      xbt_os_mutex_destroy(((struct mdesc*)md)->mutex);
       
       /* Now unmap all the pages associated with this region by asking for a
         negative increment equal to the current size of the region. */