From 9de84657cd18f11c118ce065d36cf8f01e62303c Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Tue, 23 Oct 2012 10:01:39 +0200
Subject: [PATCH] do not free the group when freeing the comm, there is a
 separate function for that, which may be called

---
 src/smpi/smpi_comm.c   | 1 -
 src/smpi/smpi_global.c | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smpi/smpi_comm.c b/src/smpi/smpi_comm.c
index c189c4d569..d49b858293 100644
--- a/src/smpi/smpi_comm.c
+++ b/src/smpi/smpi_comm.c
@@ -48,7 +48,6 @@ MPI_Comm smpi_comm_new(MPI_Group group)
 
 void smpi_comm_destroy(MPI_Comm comm)
 {
-  smpi_group_destroy(comm->group);
   xbt_free(comm);
 }
 
diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index ef8b782f63..8c02fb48b3 100644
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -263,6 +263,7 @@ void smpi_global_destroy(void)
   int i;
 
   smpi_bench_destroy();
+  smpi_group_destroy(smpi_comm_group(MPI_COMM_WORLD));
   smpi_comm_destroy(MPI_COMM_WORLD);
   MPI_COMM_WORLD = MPI_COMM_NULL;
   for (i = 0; i < count; i++) {
-- 
2.20.1