Fight for better integration of mmalloc, mc and xbt

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

diff --git a/src/xbt/mmalloc/detach.c b/src/xbt/mmalloc/detach.c
index 43b8687..dbf4d34 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. */