[spec] Fix definition of iextend (#1696)

WebAssembly · Oct 24, 2023 · b39baf7 · b39baf7
1 parent be1f563
commit b39baf7
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/document/core/exec/numerics.rst b/document/core/exec/numerics.rst
@@ -715,11 +715,13 @@ The integer result of predicates -- i.e., :ref:`tests <syntax-testop>` and :ref:
 :math:`\iextendMs_N(i)`
 .......................
 
-* Return :math:`\extends_{M,N}(i)`.
+* Let :math:`j` be the result of computing :math:`\wrap_{N,M}(i)`.
+
+* Return :math:`\extends_{M,N}(j)`.
 
 .. math::
    \begin{array}{lll@{\qquad}l}
-   \iextendMs_{N}(i) &=& \extends_{M,N}(i) \\
+   \iextendMs_{N}(i) &=& \extends_{M,N}(\wrap_{N,M}(i)) \\
    \end{array}