More

0xPolygonZero · Feb 26, 2024 · 30da68c · 30da68c
1 parent 9396725
commit 30da68c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm b/evm_arithmetization/src/cpu/kernel/asm/core/transfer.asm
@@ -52,9 +52,9 @@ deduct_eth_insufficient_balance:
     %stack (balance, balance_ptr, addr, amount, retdest) -> (retdest, 1)
     JUMP
 deduct_eth_delete_balance:
-    %stack (balance, balance_ptr, addr, amount, retdest) -> (addr, retdest, 1)
+    %stack (balance, balance_ptr, addr, amount, retdest) -> (addr, retdest, 0)
     %key_balance %smt_delete_state
-    // stack: retdest, 1
+    // stack: retdest, 0
     JUMP
 deduct_eth_noop:
     %stack (addr, amount, retdest) -> (retdest, 0)