diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp index e85b2722a..cd4aa5388 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -1805,7 +1805,7 @@ public: 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) {