X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b08e93079ce626559903d763ea5c79d3de220a24..f6180414063c7b8e25e7f08b56bf527f2bd7db5b:/src/mc/mc_request.cpp diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 27d74e31a2..5e03b8572d 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -395,9 +395,9 @@ char *MC_request_to_string(smx_simcall_t req, int value, e_mc_request_type_t req } else { type = "TestAny"; args = - bprintf("(%d of %lu)", value + 1, + bprintf("(%d of %zu)", value + 1, read_length(mc_model_checker->process(), - remote(simcall_comm_testany__get__comms(req)))); + simcall_comm_testany__get__comms(req))); } break;