X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1e1a18a0b8d75deb509860d08b75a27df4e935c8..1bdbe2db10271b1d1948e1ee0382abcfe622a991:/src/mc/ModelChecker.hpp

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 1f7665d957..7babe6a6ea 100644
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -36,7 +36,7 @@ class ModelChecker {
   PageStore page_store_;
   std::unique_ptr<Process> process_;
 public:
-  mc_snapshot_t parent_snapshot_;
+  simgrid::mc::Snapshot* parent_snapshot_;
 
 public:
   ModelChecker(ModelChecker const&) = delete;