Skip to content

Commit 2fcf26d

Browse files
authored
Merge pull request #53 from WebAssembly/memory_init_exec
Add missing memory specifier to memory.init execution semantics
2 parents c2c00d8 + 8e8700d commit 2fcf26d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

document/core/exec/instructions.rst

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2437,7 +2437,7 @@ Memory Instructions
24372437

24382438
20. Push the value :math:`\I32.\CONST~b` to the stack.
24392439

2440-
21. Execute the instruction :math:`\I32\K{.}\STORE\K{8}~\{ \OFFSET~0, \ALIGN~0 \}`.
2440+
21. Execute the instruction :math:`\I32\K{.}\STORE\K{8}~x~\{ \OFFSET~0, \ALIGN~0 \}`.
24412441

24422442
22. Assert: due to the earlier check against the memory size, :math:`d+1 < 2^{32}`.
24432443

0 commit comments

Comments
 (0)