[mc] Fix printf format

diff --git a/src/mc/mc_request.cpp b/src/mc/mc_request.cpp
index 54889fd..5e03b85 100644 (file)
--- 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 =
     } 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)));
     }
                   read_length(mc_model_checker->process(),
                     simcall_comm_testany__get__comms(req)));
     }