merged golden

diff --cc src/theory/bv/theory_bv.cpp
index cb68a0f65e3aa8e07d46685e4e2ac43412016418,d7a7f358a0e3745b6ba66f04c2edeadfcb426176..a2de951aa6b7db33a8961cff9128e6e13979817b
--- 1/src/theory/bv/theory_bv.cpp
--- 2/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);
      }
    }