]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/mc_request.cpp
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] C++ification of memory_map.cpp
[simgrid.git] / src / mc / mc_request.cpp
index 27d74e31a258d1efd72d2bcf53151feeb78458ec..5e03b8572de39e5683347709a42425a9eceff07b 100644 (file)
@@ -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;