[mc] Fix ModelChecker::is_important_snapshot(), do not use global

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index f8b0982..64db962 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -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_;
   }
 };