From 6ac51c40fd30b90107eadda2a0d808a5210bcc28 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 8 Mar 2017 10:49:42 +0100
Subject: [PATCH] fix a new/free mismatch

---
 src/smpi/smpi_deployment.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smpi/smpi_deployment.cpp b/src/smpi/smpi_deployment.cpp
index f652e42a24..bfb684b12e 100644
--- a/src/smpi/smpi_deployment.cpp
+++ b/src/smpi/smpi_deployment.cpp
@@ -86,7 +86,7 @@ void smpi_deployment_cleanup_instances(){
   xbt_dict_foreach(smpi_instances, cursor, name, instance) {
     if(instance->comm_world!=MPI_COMM_NULL)
       while (instance->comm_world->group()->unuse() > 0);
-    xbt_free(instance->comm_world);
+    delete instance->comm_world;
     MSG_barrier_destroy(instance->finalization_barrier);
   }
   xbt_dict_free(&smpi_instances);
-- 
2.20.1