Merge pull request WebAssembly#479 from WebAssembly/fix.476

[spec] Tweak dimensionality in array.new_data
dhil · Nov 10, 2023 · 60b1ec9 · 60b1ec9
2 parents 65752fb + d3c8128
commit 60b1ec9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/document/core/exec/instructions.rst b/document/core/exec/instructions.rst
@@ -801,7 +801,7 @@ Reference Instructions
      \begin{array}[t]{@{}r@{~}l@{}}
       (\iff & \expanddt(F.\AMODULE.\MITYPES[x]) = \TARRAY~\X{ft}^n \\
       \land & t = \unpacktype(\X{ft}) \\
-      \land & (\bytes_{\X{ft}}(c))^n = S.\SDATAS[F.\AMODULE.\MIDATAS[y]].\DIDATA[s \slice n\cdot|\X{ft}|/8] \\
+      \land & \concat((\bytes_{\X{ft}}(c))^n) = S.\SDATAS[F.\AMODULE.\MIDATAS[y]].\DIDATA[s \slice n\cdot|\X{ft}|/8] \\
      \end{array} \\
    \end{array}