model: use proper size_t printf format

diff --git a/model.cc b/model.cc
index c3f6372517d591c5016cb91127adf36ae8fadb36..2260431ab908973fe5b4233e9e15ceeb8be4ca2f 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -207,7 +207,7 @@ bool ModelChecker::next_execution()
                num_feasible_executions++;
        }
 
-       DEBUG("Number of acquires waiting on pending release sequences: %lu\n",
+       DEBUG("Number of acquires waiting on pending release sequences: %zu\n",
                        pending_rel_seqs->size());
 
        if (isfinalfeasible() || DBG_ENABLED())