diff --git a/cairo_zero/kakarot/instructions/system_operations.cairo b/cairo_zero/kakarot/instructions/system_operations.cairo index 532775cd9..34f0f2eb7 100644 --- a/cairo_zero/kakarot/instructions/system_operations.cairo +++ b/cairo_zero/kakarot/instructions/system_operations.cairo @@ -190,11 +190,9 @@ namespace SystemOperations { State.update_account(target_account); let transfer = model.Transfer(evm.message.address, target_account.address, [value]); - let success = State.add_transfer(transfer); - if (success == 0) { - Stack.push_uint128(0); - return child_evm; - } + + // @dev: This transfer cannot fail, as the balance was checked before. + let _success = State.add_transfer(transfer); return child_evm; }