One use less of the global mc_model_checker

diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp
index 47fcf02..5efb133 100644 (file)
--- a/src/mc/ModelChecker.cpp
+++ b/src/mc/ModelChecker.cpp
@@ -146,7 +146,7 @@ static void MC_report_crash(Exploration* explorer, int status)
       XBT_INFO("Stack trace not displayed because you passed --log=no_loc");
     } else {
       XBT_INFO("Stack trace:");
-      mc_model_checker->get_remote_process().dump_stack();
+      explorer->get_remote_app().get_remote_process().dump_stack();
     }
   }
 }