X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6b76ba4acd263f00d310287d7f891abfcda1c2f9..ffe8ce65fd9a8e18a0469f26f067c3ea6d5d60d4:/src/mc/mc_base.c

diff --git a/src/mc/mc_base.c b/src/mc/mc_base.c
index 82ca8c6a4f..96c14b2606 100644
--- a/src/mc/mc_base.c
+++ b/src/mc/mc_base.c
@@ -10,11 +10,13 @@
 #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");
 
-/**
- * \brief Schedules all the process that are ready to run
- */
 void MC_wait_for_requests(void)
 {
   smx_process_t process;