From 960a024d3d22388981e47c28d413d9a622cc069a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 10 Oct 2023 13:54:00 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/math/lp/monomial_bounds.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp index b94dcbf57..fa634c219 100644 --- a/src/math/lp/monomial_bounds.cpp +++ b/src/math/lp/monomial_bounds.cpp @@ -335,10 +335,9 @@ namespace nla { return; lpvar w, fixed_to_zero; - if (!is_linear(m)) { - if (c().params().arith_nl_internal_bounds()) { + if (!is_linear(m, w, fixed_to_zero)) { + if (c().params().arith_nl_internal_bounds()) propagate(m); - } return; }