X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=29b88c1171aa1873d34b98a19dad43c0b6c6a035;hb=affc0fb36f6a78cfe50cacd10b8a5c4d93011686;hp=569dd472bab4aeb908e0e1df60d50540cf607d87;hpb=103b2cae595a3744095dd8432b62b138f24ec9eb;p=cdsspec-compiler.git

diff --git a/model.cc b/model.cc
index 569dd47..29b88c1 100644
--- a/model.cc
+++ b/model.cc
@@ -1500,8 +1500,6 @@ ModelAction * ModelChecker::check_current_action(ModelAction *curr)
 	bool newly_explored = initialize_curr_action(&curr);
 
 	DBG();
-	if (DBG_ENABLED())
-		curr->print();
 
 	wake_up_sleeping_actions(curr);