From 779fa3b8b270f1e62f58dfeb093e2b390d9c84b0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Tue, 29 Nov 2011 14:38:54 +0100
Subject: [PATCH 1/1] Free mutex in xbt_dynar_to_array.

---
 src/xbt/dynar.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xbt/dynar.c b/src/xbt/dynar.c
index d6c70c5ff5..3e9cb2c2ec 100644
--- 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;
+  if (dynar->mutex)
+    xbt_mutex_destroy(dynar->mutex);
   free(dynar);
   return res;
 }
-- 
2.20.1