From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 14 Oct 2015 21:50:07 +0000 (+0200)
Subject: [mc] Fix ModelChecker::is_important_snapshot(), do not use global
X-Git-Tag: v3_13~1644^2~51
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d922d48bacd494af37276654e82979fc05533ffa

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

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index f8b0982139..64db962276 100644
--- 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_;
   }
 };