Fix direction of subtype check for call_indirect

WebAssembly · Oct 31, 2024 · 88463e8 · 88463e8
1 parent 1f803e1
commit 88463e8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst
@@ -4368,7 +4368,7 @@ Control Instructions
      \begin{array}[t]{@{}r@{~}l@{}}
      (\iff & S.\STABLES[F.\AMODULE.\MITABLES[x]].\TIELEM[i] = \REFFUNCADDR~a \\
      \wedge & S.\SFUNCS[a] = f \\
-     \wedge & S \vdashdeftypematch F.\AMODULE.\MITYPES[y] \matchesdeftype f.\FITYPE)
+     \wedge & S \vdashdeftypematch f.\FITYPE \matchesdeftype F.\AMODULE.\MITYPES[y])
      \end{array}
    \\[1ex]
    \begin{array}{lcl@{\qquad}l}