Merge pull request #107 from takikawa/table-binary-formatting

Fix formatting in the spec binary section for table initializers
WebAssembly · Oct 26, 2023 · 40f820b · 40f820b
2 parents 0118f2d + 32b1643
commit 40f820b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/binary/modules.rst b/document/core/binary/modules.rst
@@ -212,7 +212,7 @@ It decodes into a vector of :ref:`tables <syntax-table>` that represent the |MTA
    \production{table} & \Btable &::=&
      \X{tt}{:}\Btabletype
        &\Rightarrow& \{ \TTYPE~\X{tt}, \TINIT~(\REFNULL~\X{ht}) \}
-         \qquad \iff \X{tt} = \limits~(\REF~\NULL^?~\X{ht}) \\
+         \qquad \iff \X{tt} = \limits~(\REF~\NULL^?~\X{ht}) \\ &&|&
      \hex{40}~~\hex{00}~~\X{tt}{:}\Btabletype~~e{:}\Bexpr
        &\Rightarrow& \{ \TTYPE~\X{tt}, \TINIT~e \} \\
    \end{array}