From 0108a864907bf1cf2dfe21f75edbdaeef91f463c Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Thu, 8 May 2025 17:28:34 -0700 Subject: [PATCH] fix the build Signed-off-by: Lev Nachmanson --- src/math/lp/lar_solver.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/lar_solver.cpp b/src/math/lp/lar_solver.cpp index c1f100dc6..ddf711566 100644 --- a/src/math/lp/lar_solver.cpp +++ b/src/math/lp/lar_solver.cpp @@ -395,11 +395,11 @@ namespace lp { mpq lar_solver::from_model_in_impq_to_mpq(const impq& v) const { return v.x + m_imp->m_delta * v.y; } - inline const impq& lar_solver::get_upper_bound(lpvar j) const { + const impq& lar_solver::get_upper_bound(lpvar j) const { return get_core_solver().m_r_solver.m_upper_bounds[j]; } - inline const impq& lar_solver::get_lower_bound(lpvar j) const { + const impq& lar_solver::get_lower_bound(lpvar j) const { return get_core_solver().m_r_solver.m_lower_bounds[j]; }