Skip to content

Commit a0a8df7

Browse files
authored
[spec] Fix typo in data segment text format (#1916)
1 parent 3c2c6ee commit a0a8df7

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

document/core/text/modules.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -659,7 +659,7 @@ The data is written as a :ref:`string <text-string>`, which may be split up into
659659
\text{(}~\text{data}~~\Tid^?~~b^\ast{:}\Tdatastring~\text{)} \\ &&& \qquad
660660
\Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DPASSIVE \} \\ &&|&
661661
\text{(}~\text{data}~~\Tid^?~~x{:}\Tmemuse_I~~\text{(}~\text{offset}~~e{:}\Texpr_I~\text{)}~~b^\ast{:}\Tdatastring~\text{)} \\ &&& \qquad
662-
\Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DACTIVE~\{ \DMEM~x', \DOFFSET~e \} \} \\
662+
\Rightarrow\quad \{ \DINIT~b^\ast, \DMODE~\DACTIVE~\{ \DMEM~x, \DOFFSET~e \} \} \\
663663
\production{data string} & \Tdatastring &::=&
664664
(b^\ast{:}\Tstring)^\ast \quad\Rightarrow\quad \concat((b^\ast)^\ast) \\
665665
\production{memory use} & \Tmemuse_I &::=&

0 commit comments

Comments
 (0)