From 00125f560f2775d319ff45942a4cc3b14082ecda Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 16 Jan 2019 21:58:48 +0100
Subject: [PATCH 1/1] Fix memleak.

---
 src/include/xbt/parmap.hpp | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/include/xbt/parmap.hpp b/src/include/xbt/parmap.hpp
index 4e073a14a7..f1c08cb1ca 100644
--- a/src/include/xbt/parmap.hpp
+++ b/src/include/xbt/parmap.hpp
@@ -202,9 +202,10 @@ template <typename T> Parmap<T>::~Parmap()
   status = PARMAP_DESTROY;
   synchro->master_signal();
 
-  for (unsigned i = 1; i < num_workers; i++)
+  for (unsigned i = 1; i < num_workers; i++) {
     workers[i]->join();
-
+    delete workers[i];
+  }
   delete synchro;
 }
 
-- 
2.20.1