fix bug in function

runtimeverification · Jan 22, 2025 · 2d38757 · 2d38757
1 parent b833ce9
commit 2d38757
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/state-utils.md
@@ -468,7 +468,7 @@ The `"rlp"` key loads the block information.
 
     rule #fakeExponential(I, OUTPUT, ACCUM, NUMER, DENOM)
       => #fakeExponential(I +Int 1, OUTPUT +Int ACCUM, ACCUM *Int NUMER /Int (DENOM *Int I), NUMER, DENOM) requires ACCUM >Int 0
-    rule #fakeExponential(_, OUTPUT, _, _, _) => OUTPUT [owise]
+    rule #fakeExponential(_, OUTPUT, _, _, DENOM) => OUTPUT /Int DENOM [owise]
 ```
 
 ### Block Identifiers