X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/50733722ebde05e0c95e9597f3051854e244eba5..5a7a6f80e22273d21c1d2ab0847a0438cb832b92:/src/mc/mc_request.cpp?ds=sidebyside diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 27d74e31a2..54889fd21f 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -397,7 +397,7 @@ char *MC_request_to_string(smx_simcall_t req, int value, e_mc_request_type_t req args = bprintf("(%d of %lu)", value + 1, read_length(mc_model_checker->process(), - remote(simcall_comm_testany__get__comms(req)))); + simcall_comm_testany__get__comms(req))); } break;