Skip to content

Commit c91f0a7

Browse files
authored
Update document/core/exec/instructions.rst
1 parent ac19ae2 commit c91f0a7

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

document/core/exec/instructions.rst

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -210,9 +210,8 @@ Reference Instructions
210210
\end{array}
211211
212212
.. note::
213-
This is the reduction rule for |REFNULL| |TYPEIDX|.
214-
No formal reduction rule is required for |REFNULL| |ABSHEAPTYPE|,
215-
since the instruction is already a :ref:`value <syntax-val>`.
213+
No formal reduction rule is required for the case |REFNULL| |ABSHEAPTYPE|,
214+
since the instruction form is already a :ref:`value <syntax-val>`.
216215

217216

218217
.. _exec-ref.func:

0 commit comments

Comments
 (0)