X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2945198502e436f29236715c0baca1efadb64480..beb8d253637d708a216c39d1cc6a9194d8a12704:/src/mc/Process.hpp

diff --git a/src/mc/Process.hpp b/src/mc/Process.hpp
index 10bd3b547d..8b96b0cbbc 100644
--- 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();