X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/829dbc9948c913805d4a8ebde293d3c771778aa9..55c2d5b5314f3007202c67003eb99d7d92dedb7e:/src/xbt/dynar.c?ds=sidebyside

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index d6c70c5ff5..c630ff0796 100644
--- a/src/xbt/dynar.c
+++ b/src/xbt/dynar.c
@@ -291,7 +291,7 @@ XBT_INLINE unsigned long xbt_dynar_length(const xbt_dynar_t dynar)
   return (dynar ? (unsigned long) dynar->used : (unsigned long) 0);
 }
 
-/**@brief check if a dynar is empty
+ /**@brief check if a dynar is empty
  *
  *\param dynar the dynat we want to check
  */
@@ -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;
+  if (dynar->mutex)
+    xbt_mutex_destroy(dynar->mutex);
   free(dynar);
   return res;
 }