From 6c72f39142d43e0893075f81829601dbb958e735 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 10 May 2020 10:35:46 +0100 Subject: [PATCH] fix build --- src/math/lp/nla_basics_lemmas.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/math/lp/nla_basics_lemmas.cpp b/src/math/lp/nla_basics_lemmas.cpp index 73e8efb47..a1ce20fb8 100644 --- a/src/math/lp/nla_basics_lemmas.cpp +++ b/src/math/lp/nla_basics_lemmas.cpp @@ -330,8 +330,8 @@ bool basics::basic_lemma_for_mon_neutral_monic_to_factor_derived(const monic& rm else if (abs(val(j)) != rational(1)) not_one_j = j; } - if (jl == null_lpvar || not_one_j = null_lpvar) - return false; + if (jl == null_lpvar || not_one_j == null_lpvar) + return false; new_lemma lemma(c(), "|xa| = |x| & x != 0 -> |a| = 1"); // mon_var = 0 @@ -528,8 +528,8 @@ bool basics::basic_lemma_for_mon_neutral_monic_to_factor_model_based_fm(const mo else if (abs(val(j)) != rational(1)) not_one_j = j; } - if (jl == null_lpvar || not_one_j = null_lpvar) - return false; + if (jl == null_lpvar || not_one_j == null_lpvar) + return false; new_lemma lemma(c(), __FUNCTION__); // mon_var = 0 @@ -628,8 +628,8 @@ bool basics::basic_lemma_for_mon_neutral_monic_to_factor_model_based(const monic else if (abs(val(fc)) != rational(1)) not_one_j = j; } - if (jl == null_lpvar || not_one_j = null_lpvar) - return false; + if (jl == null_lpvar || not_one_j == null_lpvar) + return false; new_lemma lemma(c(), __FUNCTION__); // mon_var = 0