Skip to content

Commit

Permalink
Update document/core/exec/instructions.rst
Browse files Browse the repository at this point in the history
Co-authored-by: Andreas Rossberg <[email protected]>
  • Loading branch information
tlively and rossberg authored Jul 20, 2023
1 parent 81f2221 commit 9c81a76
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/exec/instructions.rst
Original file line number Diff line number Diff line change
Expand Up @@ -837,7 +837,7 @@ Reference Instructions

1. Assert: due to :ref:`validation <valid-array.new_elem>`, the :ref:`defined type <syntax-deftype>` :math:`F.\AMODULE.\MITYPES[x]` exists.

2. Let :math:`\deftype` be the :ref:`defined type <syntax-deftype>` :math:`F.\AMODULE.\MITYPES[\x]`.
2. Let :math:`\deftype` be the :ref:`defined type <syntax-deftype>` :math:`F.\AMODULE.\MITYPES[x]`.

3. Assert: due to :ref:`validation <valid-array.new_elem>`, :math:`\deftype` is an :ref:`array type <syntax-arraytype>`.

Expand Down

0 comments on commit 9c81a76

Please sign in to comment.