Skip to content

Commit

Permalink
Another typo
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg committed Aug 31, 2022
1 parent 01a5790 commit 5acd684
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion document/core/valid/instructions.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1614,7 +1614,7 @@ Non-empty Instruction Sequence: :math:`\instr~{\instr'}^\ast`
* Let :math:`C'` be the same :ref:`context <context>` as :math:`C`,
but with:

* |CLOCALS| the same as in C, except that for every :ref:`local index <syntax-localidx>` :math:`x` in :math:`x_1^\ast`, the :ref:`local type <syntax-localtype>` :math:`\CLOCALS[x]` has been updated to :ref:`initialization status <syntax-init>` `\SET`.
* |CLOCALS| the same as in C, except that for every :ref:`local index <syntax-localidx>` :math:`x` in :math:`x_1^\ast`, the :ref:`local type <syntax-localtype>` :math:`\CLOCALS[x]` has been updated to :ref:`initialization status <syntax-init>` :math:`\SET`.

* The instruction sequence :math:`{\instr'}^\ast` must be valid with some type :math:`[{t'}^\ast] \to_{x_2^\ast} [t_3^\ast]`.

Expand Down

0 comments on commit 5acd684

Please sign in to comment.