#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 {
bool is_important_snapshot(Snapshot const& snapshot) const
{
- return &snapshot == mc_model_checker->parent_snapshot_;
+ return &snapshot == this->parent_snapshot_;
}
};