1 files changed, 1 insertions, 6 deletions
diff --git a/src/theory/bv/theory_bv.cpp b/src/theory/bv/theory_bv.cpp
index 6f450d08e..4c31f3f44 100644
--- a/src/theory/bv/theory_bv.cpp
+++ b/src/theory/bv/theory_bv.cpp
@@ -173,14 +173,9 @@ void TheoryBV::check(Effort e)
     return;
   }
 
-  if (Theory::fullEffort(e)) {
-    Trace("bitvector-fulleffort") << "TheoryBV::fullEffort \n"; 
-    printFacts( Trace("bitvector-fulleffort") ); 
-  }
-  
   while (!done()) {
     TNode fact = get().assertion;
-    checkForLemma(fact); 
+    // checkForLemma(fact); 
     for (unsigned i = 0; i < d_subtheories.size(); ++i) {
       d_subtheories[i]->assertFact(fact); 
     }