fix non-MC builds

[simgrid.git] / src / mc / ModelChecker.hpp

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index cae6e5a..c238d12 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -15,8 +15,7 @@
 
 #include <event2/event.h>
 
-#include <simgrid_config.h>
-#include <xbt/base.h>
+#include "xbt/base.h"
 #include <sys/types.h>
 
 #include "src/mc/PageStore.hpp"