From: Brian Norris <banorris@uci.edu>
Date: Thu, 15 Nov 2012 21:29:44 +0000 (-0800)
Subject: model: remove unnecessary DEBUG()
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=45656107dfb389a4a8b017e0c4bacf8e70a8ebf3;ds=sidebyside

model: remove unnecessary DEBUG()
---

diff --git a/model.cc b/model.cc
index de3b3259..3ed8203f 100644
--- a/model.cc
+++ b/model.cc
@@ -337,9 +337,6 @@ bool ModelChecker::next_execution()
 		num_feasible_executions++;
 	}
 
-	DEBUG("Number of acquires waiting on pending release sequences: %zu\n",
-			pending_rel_seqs->size());
-
 
 	if (isfinalfeasible() || DBG_ENABLED()) {
 		checkDataRaces();