[mc] Remove redundant 'mc_mode' global variable

[simgrid.git] / src / mc / Process.hpp

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index 10bd3b5..8b96b0c 100644 (file)
--- a/src/mc/Process.hpp
+++ b/src/mc/Process.hpp
@@ -219,7 +219,7 @@ public:
   simgrid::mc::SimixProcessInformation* resolveProcessInfo(
     simgrid::mc::RemotePtr<s_smx_process_t> process)
   {
-    xbt_assert(mc_mode == MC_MODE_SERVER);
+    xbt_assert(mc_model_checker != nullptr);
     if (!process)
       return nullptr;
     this->refresh_simix();