From 368fe80b3d31e946fbca1b4758994eb29aa26d1d Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 25 Sep 2023 16:55:02 -0700 Subject: [PATCH] fix the build --- src/math/lp/nla_core.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h index e1fae2aff..a6bc6b3b4 100644 --- a/src/math/lp/nla_core.h +++ b/src/math/lp/nla_core.h @@ -438,7 +438,7 @@ public: bool is_linear(const svector& m, lpvar& zero_var, lpvar& non_fixed); void add_bounds_for_zero_var(lpvar monic_var, lpvar zero_var); void propagate_monic_with_non_fixed(lpvar monic_var, const svector& vars, lpvar non_fixed, const rational& k); - void core::propagate_monic_non_fixed_with_lemma(lpvar monic_var, const svector& vars, lpvar non_fixed, const rational& k); + void propagate_monic_non_fixed_with_lemma(lpvar monic_var, const svector& vars, lpvar non_fixed, const rational& k); void propagate_monic_with_all_fixed(lpvar monic_var, const svector& vars, const rational& k); void add_lower_bound_monic(lpvar j, const lp::mpq& v, bool is_strict, std::function explain_dep); void add_upper_bound_monic(lpvar j, const lp::mpq& v, bool is_strict, std::function explain_dep);