From: Liana Hadarean <lianahady@gmail.com>
Date: Mon, 30 Sep 2013 17:56:51 +0000 (-0400)
Subject: merged golden
X-Git-Tag: cvc5-1.0.0~7287
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7d2265eb2b5dc96ddff04211959e208b1cb8a7f0;p=cvc5.git

merged golden
---

7d2265eb2b5dc96ddff04211959e208b1cb8a7f0
diff --cc src/theory/bv/theory_bv.cpp
index cb68a0f65,d7a7f358a..a2de951aa
--- a/src/theory/bv/theory_bv.cpp
+++ b/src/theory/bv/theory_bv.cpp
@@@ -174,9 -177,9 +177,10 @@@ void TheoryBV::check(Effort e
  
    while (!done()) {
      TNode fact = get().assertion;
-     checkForLemma(fact); 
 -   	checkForLemma(fact);
++    checkForLemma(fact);
++
      for (unsigned i = 0; i < d_subtheories.size(); ++i) {
-       d_subtheories[i]->assertFact(fact); 
+       d_subtheories[i]->assertFact(fact);
      }
    }