Skip to content

Commit 3545ad0

Browse files
authored
[spec] Add missing value to table.grow reduction rule (#1607)
1 parent e8a83b2 commit 3545ad0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

document/core/exec/instructions.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1312,7 +1312,7 @@ Table Instructions
13121312
\end{array}
13131313
\\[1ex]
13141314
\begin{array}{lcl@{\qquad}l}
1315-
S; F; (\I32.\CONST~n)~(\TABLEGROW~x) &\stepto& S; F; (\I32.\CONST~\signed_{32}^{-1}(-1))
1315+
S; F; \val~(\I32.\CONST~n)~(\TABLEGROW~x) &\stepto& S; F; (\I32.\CONST~\signed_{32}^{-1}(-1))
13161316
\end{array}
13171317
\end{array}
13181318

0 commit comments

Comments
 (0)