X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e36d7dc8983ddcf42ada858d263cb234ee95acef..6db44d40a0cb94c4ad8fac6861e349057bf932e7:/src/mc/checker/LivenessChecker.cpp?ds=sidebyside

diff --git a/src/mc/checker/LivenessChecker.cpp b/src/mc/checker/LivenessChecker.cpp
index 9ea9c62d17..0b0aa17d0f 100644
--- a/src/mc/checker/LivenessChecker.cpp
+++ b/src/mc/checker/LivenessChecker.cpp
@@ -412,7 +412,7 @@ void LivenessChecker::run()
   }
 
   XBT_INFO("No property violation found.");
-  mc::session->log_state();
+  mcapi::get().log_state();
 }
 
 Checker* createLivenessChecker(Session& s)