Free mutex in xbt_dynar_to_array.

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index d6c70c5..3e9cb2c 100644 (file)
--- a/src/xbt/dynar.c
+++ b/src/xbt/dynar.c
@@ -708,6 +708,8 @@ XBT_INLINE void * xbt_dynar_to_array (xbt_dynar_t dynar)
   xbt_dynar_shrink(dynar, 1);
   memset(xbt_dynar_push_ptr(dynar), 0, dynar->elmsize);
   res = dynar->data;
   xbt_dynar_shrink(dynar, 1);
   memset(xbt_dynar_push_ptr(dynar), 0, dynar->elmsize);
   res = dynar->data;

+  if (dynar->mutex)
+    xbt_mutex_destroy(dynar->mutex);

   free(dynar);
   return res;
 }
   free(dynar);
   return res;
 }