Skip to content

Commit

Permalink
[spec] Fix table.copy validation typo (#1511)
Browse files Browse the repository at this point in the history
  • Loading branch information
CosineP authored Jul 29, 2022
1 parent e8c05f4 commit 27fc520
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 @@ -875,7 +875,7 @@ Table Instructions
\frac{
C.\CTABLES[x] = \limits_1~t
\qquad
C.\CTABLES[x] = \limits_2~t
C.\CTABLES[y] = \limits_2~t
}{
C \vdashinstr \TABLECOPY~x~y : [\I32~\I32~\I32] \to []
}
Expand Down

0 comments on commit 27fc520

Please sign in to comment.