From 741634b7032a9c449c19d571f8e8622e0df61176 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 2 Feb 2023 19:26:51 -0800 Subject: [PATCH] compiler warning fix Signed-off-by: Nikolaj Bjorner --- src/math/lp/nla_powers.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/nla_powers.cpp b/src/math/lp/nla_powers.cpp index 4054dd7c1..3af31a488 100644 --- a/src/math/lp/nla_powers.cpp +++ b/src/math/lp/nla_powers.cpp @@ -131,7 +131,7 @@ namespace nla { return l_false; } - if (xval >= 3 && yval != 0 & rval <= yval + 1) { + if (xval >= 3 && yval != 0 && rval <= yval + 1) { new_lemma lemma(c, "x >= 3, y != 0 => x^y > ln(x)y + 1"); lemma |= ineq(x, llc::LT, rational(3)); lemma |= ineq(y, llc::EQ, rational::zero());