From 23a2843a731fc505bcc3cf205cb9af60ae5086e5 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Mon, 28 Apr 2014 10:35:51 +0200
Subject: [PATCH 1/1] leak --

---
 src/smpi/smpi_global.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 332b929ab3..b7880c89d4 100644
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -479,6 +479,10 @@ void smpi_global_destroy(void)
   }
   xbt_free(process_data);
   process_data = NULL;
+
+  if(index_to_process_data){
+      xbt_free(index_to_process_data);
+  }
   if(smpi_privatize_global_variables)
     smpi_destroy_global_memory_segments();
   smpi_free_static();
-- 
2.20.1