diff options
Diffstat (limited to 'src/theory/bv/theory_bv.cpp')
-rw-r--r-- | src/theory/bv/theory_bv.cpp | 7 |
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); } |