From 7808be0935c5f84fee46e9f908f1d03a2a2bfc49 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 3 Feb 2025 13:44:05 -0800 Subject: [PATCH] with theory lemma relevant Signed-off-by: Nikolaj Bjorner --- 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 228722dcd..28b709def 100644 --- a/src/smt/theory_lra.cpp +++ b/src/smt/theory_lra.cpp @@ -2410,7 +2410,7 @@ public: js = alloc(theory_lemma_justification, get_id(), ctx(), m_core2.size(), m_core2.data(), ps.size(), ps.data()); } - ctx().mk_clause(m_core2.size(), m_core2.data(), js, CLS_TH_LEMMA_LEARNED, nullptr); + ctx().mk_clause(m_core2.size(), m_core2.data(), js, CLS_TH_LEMMA_RELEVANT, nullptr); } else { ctx().assign(