Merge branch 'master' into unit_prop_on_monomials

Z3Prover · Sep 27, 2023 · 94eb101 · 94eb101
2 parents ac6310d + 36566d6
commit 94eb101
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
@@ -1805,7 +1805,7 @@ class theory_lra::imp {
         m_nla->check_bounded_divisions();
         for (auto & lemma : m_nla->lemmas())
             false_case_of_check_nla(lemma);
-        return m_nla->lemmas().empty();        
+        return m_nla->lemmas().empty();
     }
 
     expr_ref var2expr(lpvar v) {