[spec] Fix table.copy validation typo (WebAssembly#1511)

backes · Mar 1, 2023 · 709f908 · 709f908
1 parent ee1e359
commit 709f908
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -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 []
    }