X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2e1dd00b2e152356cc3b8883a222e2e616aa1486..240c022643fcbac7a73b39f5cf007acf7e5f81f5:/src/mc/mc_global.cpp

diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp
index 70633f98bb..7370a9e7de 100644
--- a/src/mc/mc_global.cpp
+++ b/src/mc/mc_global.cpp
@@ -88,7 +88,7 @@ void MC_show_deadlock()
   for (auto const& s : mc_model_checker->getChecker()->get_textual_trace())
     XBT_INFO("  %s", s.c_str());
   simgrid::mc::dumpRecordPath();
-  simgrid::mc::session->log_state();
+  simgrid::mc::session_singleton->log_state();
 }
 
 void MC_automaton_load(const char *file)