X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3b4740f2c34e232bcf203b9407af5637acaecaec..9575359fcebd3a393b65891c293990d1a882eb34:/src/mc/mc_base.cpp

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index c80227d0b6..681efc334e 100644
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -6,7 +6,9 @@
 #include <simgrid_config.h>
 
 #include "mc/mc.h"
+#include "src/mc/mc_base.h"
 #include "src/mc/mc_replay.h"
+#include "src/simix/smx_private.h"
 
 #if SIMGRID_HAVE_MC
 #include "src/mc/ModelChecker.hpp"