revert

yoni206 · Apr 24, 2024 · 9e66c2a · 9e66c2a
1 parent 7668703
commit 9e66c2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/regress/cli/regress0/nl/pow2-pow.smt2 b/test/regress/cli/regress0/nl/pow2-pow.smt2
@@ -2,5 +2,5 @@
 (set-logic QF_NIA)
 (declare-fun x () Int)
 (assert (< x 0))
-(assert (distinct (^ int.pow2 x) 0))
+(assert (distinct (int.pow2 x) 0))
 (check-sat)