Reduce the amount of implicit include directories

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

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index f8b0982..c9e58d9 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -14,8 +14,8 @@
 #include <xbt/base.h>
 
 #include "mc_forward.hpp"
-#include "mc/Process.hpp"
-#include "mc/PageStore.hpp"
+#include "src/mc/Process.hpp"
+#include "src/mc/PageStore.hpp"
 #include "mc_protocol.h"
 
 namespace simgrid {
@@ -55,7 +55,7 @@ public:
 
   bool is_important_snapshot(Snapshot const& snapshot) const
   {
-    return &snapshot == mc_model_checker->parent_snapshot_;
+    return &snapshot == this->parent_snapshot_;
   }
 };