From 227f84442a16d8702c5594777d31caa509d26a85 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 5 Feb 2018 16:15:19 +0100
Subject: [PATCH] Revert "Finally fix memleak."

This reverts commit aad6442f8fd7d7610f49271010cb8a650f4772de.
---
 src/smpi/internals/smpi_global.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/smpi/internals/smpi_global.cpp b/src/smpi/internals/smpi_global.cpp
index 4a7ef4f2bf..5b0bab3ccf 100644
--- a/src/smpi/internals/smpi_global.cpp
+++ b/src/smpi/internals/smpi_global.cpp
@@ -352,7 +352,8 @@ void smpi_global_destroy()
     if (process->comm_intra() != MPI_COMM_NULL) {
       simgrid::smpi::Comm::destroy(process->comm_intra());
     }
-    delete process;
+    xbt_os_timer_free(process->timer());
+    xbt_mutex_destroy(process->mailboxes_mutex());
   }
   process_data.clear();
 
-- 
2.20.1