diff --git a/specs/vm/instruction_set.md b/specs/vm/instruction_set.md index 2fd9c2d5..0a8e3f88 100644 --- a/specs/vm/instruction_set.md +++ b/specs/vm/instruction_set.md @@ -1440,7 +1440,7 @@ Panic if: - In an internal context, if `$rD` is greater than the balance of asset ID 0 of output with contract ID `MEM[$fp, 32]` - `tx.outputs[$rC].type != OutputType.Message` - `tx.outputs[$rC].recipient != 0` -- `MEM[$rA, 32] != 0` +- `MEM[$rA, 32] == 0` Append a receipt to the list of receipts, modifying `tx.receiptsRoot`: