Merge CheckerSide::start() intp the constructor

[simgrid.git] / src / kernel / actor / Simcall.cpp

diff --git a/src/kernel/actor/Simcall.cpp b/src/kernel/actor/Simcall.cpp
index 0bd9d47b962c384c988eb7998effa8212825094e..d34a22d22922f2179cac1ba99cf447cc9d6694e6 100644 (file)
--- a/src/kernel/actor/Simcall.cpp
+++ b/src/kernel/actor/Simcall.cpp
@@ -11,6 +11,11 @@
 #include "src/kernel/context/Context.hpp"
 #include "xbt/log.h"
 
+#if SIMGRID_HAVE_MC
+#include "simgrid/modelchecker.h"
+#include "src/mc/mc_replay.hpp"
+#endif
+
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(ker_simcall, kernel, "transmuting from user request into kernel handlers");
 
 namespace simgrid::kernel::actor {