From f08edc631ade029164f1b9907fb1f8fec06fb1b1 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Fri, 1 Jul 2016 12:51:35 +0200
Subject: [PATCH] [SMPI] Fixed wrong delete (should've been delete[])

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

diff --git a/src/smpi/smpi_global.cpp b/src/smpi/smpi_global.cpp
index db6e796b2d..1c84fbc540 100644
--- a/src/smpi/smpi_global.cpp
+++ b/src/smpi/smpi_global.cpp
@@ -629,7 +629,7 @@ void smpi_global_destroy()
     }
     delete process_data[i];
   }
-  delete process_data;
+  delete[] process_data;
   process_data = nullptr;
 
   if (MPI_COMM_WORLD != MPI_COMM_UNINITIALIZED){
-- 
2.20.1