From 25d978e9971b65ccda84be879d918b74b7b59f10 Mon Sep 17 00:00:00 2001
From: cosine <trash@cosine.online>
Date: Fri, 29 Jul 2022 13:18:16 -0400
Subject: [PATCH] Fix table.copy validation typo

---
 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 []
    }