model: remove unnecessary DEBUG()

diff --git a/model.cc b/model.cc
index de3b3259d79c1b47c78c75ed7fd41e3352fa764a..3ed8203fe9a2111618ced00d3ac07bf0cc5a6ac1 100644 (file)
--- 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();