From a6ea6677764bc136f7f1c74edc599229bfcd8367 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 23 Sep 2025 11:31:23 +0300 Subject: [PATCH] fix access to k'th emon Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 445dfe040..2edfdfd79 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -649,7 +649,7 @@ void core::init_to_refine() { } for (auto k : m_emon_shuffle) { - auto const & m = m_emons[k]; + auto const& m = m_emons.begin()[k]; if (!check_monic(m)) insert_to_refine(m.var()); }