chop, chop, chop includes

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

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 1a4f702..2f44304 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -14,10 +14,10 @@
 #include <memory>
 #include <system_error>
 
+#include "xbt/automaton.h"
+#include "xbt/automaton.hpp"
 #include "xbt/log.h"
-#include <xbt/automaton.h>
-#include <xbt/automaton.hpp>
-#include <xbt/system_error.hpp>
+#include "xbt/system_error.hpp"
 
 #include "simgrid/sg_config.h"