MC: rename process into RemoteClient

[simgrid.git] / src / mc / mc_base.cpp

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index f367c99..067a29f 100644 (file)
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -164,7 +164,7 @@ bool request_is_enabled(smx_simcall_t req)
       return true;
 #if SIMGRID_HAVE_MC
     else if (mc_model_checker != nullptr) {
-      simgrid::mc::Process& modelchecked = mc_model_checker->process();
+      simgrid::mc::RemoteClient& modelchecked = mc_model_checker->process();
       // TODO, *(mutex->owner) :/
       return modelchecked.resolveActor(simgrid::mc::remote(mutex->owner))->pid ==
              modelchecked.resolveActor(simgrid::mc::remote(req->issuer))->pid;