correct/remove include of rename xbt/replay.h

[simgrid.git] / src / smpi / smpi_base.cpp

diff --git a/src/smpi/smpi_base.cpp b/src/smpi/smpi_base.cpp
index 712fec3ad7f37fea3a78b56dfd703ae07ef871c4..27d4471fce3b108075e5ec641c21f2b332573440 100644 (file)
--- a/src/smpi/smpi_base.cpp
+++ b/src/smpi/smpi_base.cpp
@@ -10,7 +10,6 @@
 #include "xbt/virtu.h"
 #include "mc/mc.h"
 #include "src/mc/mc_replay.h"
-#include "xbt/replay.h"
 #include <errno.h>
 #include "src/simix/smx_private.h"
 #include "surf/surf.h"
@@ -23,7 +22,6 @@
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_base, smpi, "Logging specific to SMPI (base)");
 
-
 static simgrid::config::Flag<double> smpi_wtime_sleep(
   "smpi/wtime", "Minimum time to inject inside a call to MPI_Wtime", 0.0);
 static simgrid::config::Flag<double> smpi_init_sleep(
@@ -54,7 +52,6 @@ double smpi_mpi_wtime(){
   return time;
 }
 
-
 void smpi_mpi_bcast(void *buf, int count, MPI_Datatype datatype, int root, MPI_Comm comm)
 {
   smpi_coll_tuned_bcast_binomial_tree(buf, count, datatype, root, comm);
@@ -523,5 +520,3 @@ int smpi_mpi_get_count(MPI_Status * status, MPI_Datatype datatype)
 {
   return status->count / datatype->size();
 }
-
-