Merge pull request #53 from WebAssembly/memory_init_exec

Add missing memory specifier to memory.init execution semantics

document/core/exec/instructions.rst

@@ -2437,7 +2437,7 @@ Memory Instructions
 
 20. Push the value :math:`\I32.\CONST~b` to the stack.
 
-21. Execute the instruction :math:`\I32\K{.}\STORE\K{8}~\{ \OFFSET~0, \ALIGN~0 \}`.
+21. Execute the instruction :math:`\I32\K{.}\STORE\K{8}~x~\{ \OFFSET~0, \ALIGN~0 \}`.
 
 22. Assert: due to the earlier check against the memory size, :math:`d+1 < 2^{32}`.