From d73d104ded75c0926ced63e2fcb2d5681d620570 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 23 Apr 2025 09:17:12 -0700 Subject: [PATCH] remove overwriting x,y,rval --- src/math/lp/nla_powers.cpp | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/math/lp/nla_powers.cpp b/src/math/lp/nla_powers.cpp index 3dabbe37b..d7804c8fc 100644 --- a/src/math/lp/nla_powers.cpp +++ b/src/math/lp/nla_powers.cpp @@ -155,9 +155,6 @@ namespace nla { } if (use_rational) { - auto xval = c.val(x); - auto yval = c.val(y); - auto rval = c.val(r); if (xval != 0 && yval == 0 && rval != 1) return x_exp_0(); else if (xval == 0 && yval != 0 && rval != 0)