From 2de6c82d6d7e6af2267636ec55f7e81d2a799a78 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Sun, 7 Oct 2012 15:02:16 -0700 Subject: [PATCH] model: use proper size_t printf format --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index c3f63725..2260431a 100644 --- 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()) -- 2.34.1