From 9c02def96200170715f28557ba36ab94b4f956a6 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 1 Oct 2012 10:55:23 -0700
Subject: [PATCH] model: remove debug print

---
 model.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/model.cc b/model.cc
index 3b82770..1711e1a 100644
--- a/model.cc
+++ b/model.cc
@@ -1634,8 +1634,6 @@ bool ModelChecker::take_step() {
 		if (curr->get_state() == THREAD_READY) {
 			ASSERT(priv->current_action);
 
-			if (priv->current_action->get_seq_number()>600)
-				print_summary();
 			priv->nextThread = check_current_action(priv->current_action);
 			priv->current_action = NULL;
 			if (curr->is_blocked() || curr->is_complete())
-- 
2.34.1