leak --

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 332b929..b7880c8 100644 (file)
--- 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;
   }
   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();
   if(smpi_privatize_global_variables)
     smpi_destroy_global_memory_segments();
   smpi_free_static();