From e97247e2cef452f4ac18375f597e7d4a349635eb Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sat, 4 Mar 2023 00:08:16 +0100 Subject: [PATCH] Fix a useless change -- and go get some sleep --- src/mc/explo/DFSExplorer.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/mc/explo/DFSExplorer.cpp b/src/mc/explo/DFSExplorer.cpp index 936a2a56e5..2739857961 100644 --- a/src/mc/explo/DFSExplorer.cpp +++ b/src/mc/explo/DFSExplorer.cpp @@ -144,7 +144,7 @@ void DFSExplorer::run() continue; } - if (_sg_mc_sleep_set && XBT_LOG_ISENABLED(XBT_LOG_DEFAULT_CATEGORY, xbt_log_priority_verbose)) { + if (_sg_mc_sleep_set && XBT_LOG_ISENABLED(mc_dfs, xbt_log_priority_verbose)) { XBT_VERB("Sleep set actually containing:"); for (auto& [aid, transition] : state->get_sleep_set()) XBT_VERB(" <%ld,%s>", aid, transition.to_string().c_str()); -- 2.20.1