From b02b0cf31f9a12e885a54621d9cb5ac7fbbf590e Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 22 Sep 2025 14:44:50 +0300 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/math/lp/lp_settings.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/lp_settings.cpp b/src/math/lp/lp_settings.cpp index 62432320e..0a1a0cd54 100644 --- a/src/math/lp/lp_settings.cpp +++ b/src/math/lp/lp_settings.cpp @@ -44,5 +44,5 @@ void lp::lp_settings::updt_params(params_ref const& _p) { m_dio_calls_period = lp_p.dio_calls_period(); m_dio_run_gcd = lp_p.dio_run_gcd(); m_max_conflicts = p.max_conflicts(); - m_enable_relevancy = lp.enable_relevancy(); + m_enable_relevancy = lp_p.enable_relevancy(); }