[spec] Trivial editorial fix

WebAssembly · Aug 3, 2022 · 8159541 · 8159541
1 parent 4f7b5c0
commit 8159541
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/valid/instructions.rst b/document/core/valid/instructions.rst
@@ -620,7 +620,7 @@ Parametric Instructions
 
   * The length of :math:`t^\ast` must be :math:`1`.
 
-  * The instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
+  * Then the instruction is valid with type :math:`[t^\ast~t^\ast~\I32] \to [t^\ast]`.
 
 * Else: