From 36566d619307927df6612696866f72e272d29de1 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 26 Sep 2023 20:15:22 -0700
Subject: [PATCH] port over moving m_nla_lemmas into nla_core from the linear
 monomial propagation branch

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_lra.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index c0cfe3876..ae658b105 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1802,7 +1802,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) {