From 27fc520a254060320ec9e709343093623ca97a54 Mon Sep 17 00:00:00 2001
From: cosine <CosineP@users.noreply.github.com>
Date: Fri, 29 Jul 2022 15:08:44 -0400
Subject: [PATCH] [spec] Fix table.copy validation typo (#1511)

---
 document/core/valid/instructions.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
index a6d6b007ab..2676905ff9 100644
--- 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 []
    }