]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/ModelChecker.hpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
more than 100 codacy treats, not bad
[simgrid.git] / src / mc / ModelChecker.hpp
index 9d7101f262df113076c3aa5531ff31c57550d8fe..c238d12c2015629d5738858fbd85f7d3735b46be 100644 (file)
@@ -15,7 +15,7 @@
 
 #include <event2/event.h>
 
-#include <xbt/base.h>
+#include "xbt/base.h"
 #include <sys/types.h>
 
 #include "src/mc/PageStore.hpp"