X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5ec40848d0e955398460c1d2a1036b3f3f1878ea..22c1ae042f53e501bf25fc7eb53f3be1bc4d861e:/src/mc/mc_request.cpp diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 3d5d0880d3..2eec09dfa3 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -386,7 +386,7 @@ bool request_is_enabled_by_idx(smx_simcall_t req, unsigned int idx) break; case SIMCALL_COMM_TESTANY: - remote_act = mc_model_checker->process().read(remote(simcall_comm_testany__getraw__comms(req) + idx)); + remote_act = mc_model_checker->process().read(remote(simcall_comm_testany__get__comms(req) + idx)); break; default: