X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4e3a5dfcf8e95dedcf2c6db54f782eccfd5554d9..22cae46149e1fb4988ad9e46060c3e7ecd4e0e44:/src/mc/ModelChecker.cpp

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index f611391742..1a4f7028ff 100644
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -14,7 +14,7 @@
 #include <memory>
 #include <system_error>
 
-#include <xbt/log.h>
+#include "xbt/log.h"
 #include <xbt/automaton.h>
 #include <xbt/automaton.hpp>
 #include <xbt/system_error.hpp>