From 899677e6269c48da85eb7b503f152954369908d1 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 26 Jun 2025 13:32:10 -0700 Subject: [PATCH] fix a warning Signed-off-by: Lev Nachmanson --- src/math/lp/nla_core.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/math/lp/nla_core.cpp b/src/math/lp/nla_core.cpp index 08b994644..aa3d131c3 100644 --- a/src/math/lp/nla_core.cpp +++ b/src/math/lp/nla_core.cpp @@ -37,10 +37,9 @@ core::core(lp::lar_solver& s, params_ref const& p, reslimit & lim) : m_horner(this), m_grobner(this), m_emons(m_evars), - m_throttle(lra.trail()), m_use_nra_model(false), - m_nra(s, m_nra_lim, *this) -{ + m_nra(s, m_nra_lim, *this), + m_throttle(lra.trail()) { m_nlsat_delay_bound = lp_settings().nlsat_delay(); m_throttle.set_enabled(m_params.arith_nl_thrl()); lra.m_find_monics_with_changed_bounds_func = [&](const indexed_uint_set& columns_with_changed_bounds) {