From: Brian Norris <banorris@uci.edu>
Date: Sun, 7 Oct 2012 22:02:16 +0000 (-0700)
Subject: model: use proper size_t printf format
X-Git-Tag: pldi2013~97^2~5
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=2de6c82d6d7e6af2267636ec55f7e81d2a799a78;p=model-checker.git

model: use proper size_t printf format
---

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())