X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=2260431ab908973fe5b4233e9e15ceeb8be4ca2f;hb=2de6c82d6d7e6af2267636ec55f7e81d2a799a78;hp=c3f6372517d591c5016cb91127adf36ae8fadb36;hpb=e919b30ee6f7aa594c61fc305e6e88e789dbd700;p=model-checker.git

diff --git a/model.cc b/model.cc
index c3f6372..2260431 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())