This commit adds a debugTagIsOn() guard around some extremely verbose debugging state...

diff --git a/src/theory/arith/theory_arith.cpp b/src/theory/arith/theory_arith.cpp
index 672675ac83e44256e37417b5c688a25d4e967203..1dbf818b3a8b13c08e187f4db13b54a9ea97e371 100644 (file)
--- a/src/theory/arith/theory_arith.cpp
+++ b/src/theory/arith/theory_arith.cpp
@@ -598,8 +598,10 @@ void TheoryArith::check(Effort level){
       //Warning() << "Outstanding case split in theory arith" << endl;
     }
   }
-  if(fullEffort(level)){
-    for(vector<Node>::iterator i=d_variables.begin(); i!= d_variables.end(); ++i){
+  if(debugTagIsOn("model")){
+    for(vector<Node>::iterator i=d_variables.begin();
+        i!= d_variables.end();
+        ++i){
       Node var = *i;
       d_partialModel.printModel(var);
     }