From 02916aade16e5adaea2e0793d263b3c4d43f0603 Mon Sep 17 00:00:00 2001 From: Wonho Shin Date: Mon, 10 Mar 2025 16:20:07 +0900 Subject: [PATCH] [spec] Update allocmodule arguments --- document/core/exec/modules.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/document/core/exec/modules.rst b/document/core/exec/modules.rst index 4c667af2ff..c77049526c 100644 --- a/document/core/exec/modules.rst +++ b/document/core/exec/modules.rst @@ -670,7 +670,7 @@ It is up to the :ref:`embedder ` to define how such conditions are rep &\wedge& (\expr_{\F{g}} = \global.\GINIT)^\ast \\ &\wedge& (\expr_{\F{t}} = \table.\GINIT)^\ast \\ &\wedge& (\expr_{\F{e}}^\ast = \elem.\EINIT)^n \\[1ex] - &\wedge& S', \moduleinst = \allocmodule(S, \module, \externval^k, \val^\ast, (\reff^\ast)^n) \\ + &\wedge& S', \moduleinst = \allocmodule(S, \module, \externval^k, \val_{\F{g}}^\ast, \reff_{\F{t}}^\ast, (\reff_{\F{e}}^\ast)^n) \\ &\wedge& F = \{ \AMODULE~\moduleinst, \ALOCALS~\epsilon \} \\[1ex] &\wedge& (S'; F; \expr_{\F{g}} \stepto^\ast S'; F; \val_{\F{g}}~\END)^\ast \\ &\wedge& (S'; F; \expr_{\F{t}} \stepto^\ast S'; F; \reff_{\F{t}}~\END)^\ast \\