Reorder the headers to ensure that ours are actually self-contained

[simgrid.git] / src / mc / checker / LivenessChecker.cpp

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index ebdddcf24bdd197f6cc72f50f87800abfdb55817..1c14bafa2f8d21778b349454ff6092e413c41773 100644 (file)
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -116,7 +116,7 @@ void LivenessChecker::replay()
     }
   }
 
-  session->restore_initial_state();
+  get_session().restore_initial_state();
 
   /* Traverse the stack from the initial state and re-execute the transitions */
   int depth = 1;