diff --git a/cairo_zero/kakarot/instructions/system_operations.cairo b/cairo_zero/kakarot/instructions/system_operations.cairo index 34f0f2eb7..020ce57f0 100644 --- a/cairo_zero/kakarot/instructions/system_operations.cairo +++ b/cairo_zero/kakarot/instructions/system_operations.cairo @@ -824,9 +824,9 @@ namespace SystemOperations { // If the account was created in the same transaction and recipient is self, the native token is burnt tempvar is_recipient_not_self = is_not_zero(recipient - evm.message.address.evm); - if (self_account.created != FALSE) { - tempvar recipient = is_recipient_not_self * recipient; + tempvar recipient = (1 - is_recipient_not_self) * Constants.BURN_ADDRESS + + is_recipient_not_self * recipient; } else { tempvar recipient = recipient; }