[mc] Initial support MC record/replay

[simgrid.git] / src / smpi / smpi_global.c

diff --git a/src/smpi/smpi_global.c b/src/smpi/smpi_global.c
index 4f001b6..16899d1 100644 (file)
--- a/src/smpi/smpi_global.c
+++ b/src/smpi/smpi_global.c
@@ -7,6 +7,7 @@
 #include "private.h"
 #include "smpi_mpi_dt_private.h"
 #include "mc/mc.h"
+#include "mc/mc_record.h"
 #include "xbt/replay.h"
 #include "surf/surf.h"
 #include "simix/smx_private.h"