[spec] Fix typos in instruction validation rules

WebAssembly · May 5, 2022 · a39a703 · a39a703
1 parent 1ffb924
commit a39a703
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -793,7 +793,7 @@ Table Instructions
 
 .. math::
    \frac{
-     C.\CTABLES[x] = t
+     C.\CTABLES[x] = \limits~t
    }{
      C \vdashinstr \TABLESET~x : [\I32~t] \to []
    }
@@ -900,7 +900,7 @@ Table Instructions
 
 .. math::
    \frac{
-     C.\CTABLES[x] = \limits_1~t
+     C.\CTABLES[x] = \limits~t
      \qquad
      C.\CELEMS[y] = t
    }{