[spec] Fix syntax error in element segments validation rule (WebAssem…

…bly#1465)
backes · Mar 1, 2023 · 2ba134b · 2ba134b
1 parent b179597
commit 2ba134b
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/document/core/valid/modules.rst b/document/core/valid/modules.rst
@@ -149,7 +149,7 @@ Element segments :math:`\elem` are classified by the :ref:`reference type <synta
 
 * For each :math:`e_i` in :math:`e^\ast`,
 
-  * The expression :math:`e_i` must be :ref:`valid <valid-expr>`.
+  * The expression :math:`e_i` must be :ref:`valid <valid-expr>` with some :ref:`result type <syntax-resulttype>` :math:`[t]`.
 
   * The expression :math:`e_i` must be :ref:`constant <valid-const>`.
 
@@ -160,7 +160,7 @@ Element segments :math:`\elem` are classified by the :ref:`reference type <synta
 
 .. math::
    \frac{
-     (C \vdashexpr e \ok)^\ast
+     (C \vdashexpr e : [t])^\ast
      \qquad
      (C \vdashexprconst e \const)^\ast
      \qquad