X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cde2aca7feb21f861c3f2da5fa5ae957ff15bb8e..35d84011da1f114490d6eb4d77e214edf56c810f:/src/mc/mc_base.cpp

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index f367c99118..067a29f63f 100644
--- 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;