Skip to content

Commit

Permalink
[spec] Typo
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg committed Feb 19, 2020
1 parent d258902 commit 774dd1d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/valid/modules.rst
Original file line number Diff line number Diff line change
Expand Up @@ -599,7 +599,7 @@ Instead, the context :math:`C` for validation of the module's content is constru

* Let :math:`\X{gt}^\ast` be the concatenation of the internal :ref:`global types <syntax-globaltype>` :math:`\X{gt}_i`, in index order.

* Let :math:`\X{rt}^\ast` be the concatenation of the :ref:`referense types <syntax-reftype>` :math:`\X{rt}_i`, in index order.
* Let :math:`\X{rt}^\ast` be the concatenation of the :ref:`reference types <syntax-reftype>` :math:`\X{rt}_i`, in index order.

* Let :math:`\X{it}^\ast` be the concatenation of :ref:`external types <syntax-externtype>` :math:`\X{it}_i` of the imports, in index order.

Expand Down

0 comments on commit 774dd1d

Please sign in to comment.