From 16b8cf01ebb4dfded9910049ab5df932c36c9f2a Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 27 May 2016 17:18:07 +0200
Subject: [PATCH] [SMPI] Fix memory leak

---
 src/smpi/smpi_global.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/smpi_global.cpp b/src/smpi/smpi_global.cpp
index 33b69b5545..1fa813dc6c 100644
--- a/src/smpi/smpi_global.cpp
+++ b/src/smpi/smpi_global.cpp
@@ -509,6 +509,7 @@ void smpi_global_destroy(void)
     }
     xbt_os_timer_free(process_data[i]->timer);
     xbt_mutex_destroy(process_data[i]->mailboxes_mutex);
+    xbt_free(process_data[i]->trace_call_loc);
     xbt_free(process_data[i]);
   }
   xbt_free(process_data);
-- 
2.20.1