X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2b7bf2ece143fd83bafa635a83940f58083e7f18..f6180414063c7b8e25e7f08b56bf527f2bd7db5b:/src/mc/mc_request.cpp diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp index 54889fd21f..5e03b8572d 100644 --- a/src/mc/mc_request.cpp +++ b/src/mc/mc_request.cpp @@ -395,7 +395,7 @@ 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(), simcall_comm_testany__get__comms(req))); }