From 815954184d9574ce10191f9d3cb46fe8a322a7f6 Mon Sep 17 00:00:00 2001 From: Andreas Rossberg Date: Wed, 3 Aug 2022 11:04:54 +0200 Subject: [PATCH] [spec] Trivial editorial fix --- 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 436800260e..2676905ff9 100644 --- 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: