fix typo

runtimeverification · Jun 3, 2024 · 120e4a9 · 120e4a9
1 parent 601622a
commit 120e4a9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/kevm-pyk/src/kevm_pyk/kevm.py b/kevm-pyk/src/kevm_pyk/kevm.py
@@ -699,7 +699,6 @@ def _process_jumpdests(bytecode: bytes, offset: int) -> list[KToken]:
     :return:  A list of intToken instances representing the positions of all found jump destinations in the bytecode adjusted by the offset.
     :rtype: list[KToken]
     """
-    i = 0
     push1 = 0x60
     push32 = 0x7F
     jumpdest = 0x5B