Fix typo

WebAssembly · Apr 21, 2024 · cd543fa · cd543fa
1 parent 9ce923e
commit cd543fa
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst
@@ -4187,7 +4187,7 @@ Control Instructions
 .. math::
    \begin{array}{lcl@{\qquad}l}
    S; F; \reff~(\BRONCAST~l~\X{rt}_1~\X{rt}_2) &\stepto& \reff~(\BR~l)
-     & (\iff S \vdashval \reff : \X{rt}}
+     & (\iff S \vdashval \reff : \X{rt}
         \land {} \vdashreftypematch \X{rt} \matchesreftype \insttype_{F.\AMODULE}(\X{rt}_2)) \\
    S; F; \reff~(\BRONCAST~l~\X{rt}_1~\X{rt}_2) &\stepto& \reff
      & (\otherwise) \\