X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5a7a6f80e22273d21c1d2ab0847a0438cb832b92..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))); }