From f57237b815d7e474bdee0661b002befee59c278a Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Thu, 2 May 2013 10:37:04 +0200
Subject: [PATCH] synchronize all replay processes at the end to avoid some of
 them being destroyed wrongfully

---
 src/smpi/smpi_replay.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/smpi/smpi_replay.c b/src/smpi/smpi_replay.c
index c2002b545a..a82925eb9f 100644
--- a/src/smpi/smpi_replay.c
+++ b/src/smpi/smpi_replay.c
@@ -625,5 +625,6 @@ int smpi_replay_finalize(){
     xbt_free(reqq);
     reqq = NULL;
   }
+  smpi_mpi_barrier(MPI_COMM_WORLD);
   return PMPI_Finalize();
 }
-- 
2.20.1