test: remove constant

ethereum · Nov 7, 2023 · 2d10fbe · 2d10fbe
1 parent 9e53f36
commit 2d10fbe
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/coq/exponent/exponent.act b/tests/coq/exponent/exponent.act
@@ -27,5 +27,4 @@ iff in range uint
 storage
 
     r => r * b
-    e => e - 1
-    b
+    e => e - 1