From 427a0433e197346292295082645ebfea2e050adf Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 10 Mar 2023 23:44:05 +0100 Subject: [PATCH] One use less of the global mc_model_checker --- src/mc/ModelChecker.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/ModelChecker.cpp b/src/mc/ModelChecker.cpp index 47fcf02794..5efb133338 100644 --- 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(); } } } -- 2.20.1