Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cut some more includes
[simgrid.git] / src / mc / ModelChecker.hpp
index 9d7101f..c238d12 100644 (file)
@@ -15,7 +15,7 @@
 
 #include <event2/event.h>
 
 
 #include <event2/event.h>
 
-#include <xbt/base.h>
+#include "xbt/base.h"
 #include <sys/types.h>
 
 #include "src/mc/PageStore.hpp"
 #include <sys/types.h>
 
 #include "src/mc/PageStore.hpp"