X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4184211ef3d1957a395a461e4ca480a7928e83a8..d929149dc5f210fc2599db0407351ba27ad3a2ec:/src/mc/mc_base.c

diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c
index 82ca8c6a4f..34a5bad3c7 100644
--- a/src/mc/mc_base.c
+++ b/src/mc/mc_base.c
@@ -10,6 +10,11 @@
 #include "../simix/smx_private.h"
 #include "mc_record.h"
 
+#ifdef HAVE_MC
+#include "mc_process.h"
+#include "mc_model_checker.h"
+#endif
+
 XBT_LOG_NEW_CATEGORY(mc, "All MC categories");
 
 /**