From 0211cd8565ea3b77094e4c56fc6f5a38dde2ebf4 Mon Sep 17 00:00:00 2001
From: Shu-yu Guo <syg@chromium.org>
Date: Thu, 16 Dec 2021 16:56:27 -0800
Subject: [PATCH] Remove annotations from module namespace exotic objects'
 internal methods

---
 spec.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index 8ba012da913..7ba5639a9df 100644
--- a/spec.html
+++ b/spec.html
@@ -14851,7 +14851,7 @@ <h1>
           1. If Type(_P_) is Symbol, return OrdinaryGetOwnProperty(_O_, _P_).
           1. Let _exports_ be _O_.[[Exports]].
           1. If _P_ is not an element of _exports_, return *undefined*.
-          1. Let _value_ be ? <emu-meta effects="user-code">_O_.[[Get]]</emu-meta>(_P_, _O_).
+          1. Let _value_ be ? _O_.[[Get]](_P_, _O_).
           1. Return PropertyDescriptor { [[Value]]: _value_, [[Writable]]: *true*, [[Enumerable]]: *true*, [[Configurable]]: *false* }.
         </emu-alg>
       </emu-clause>
@@ -14869,7 +14869,7 @@ <h1>
         </dl>
         <emu-alg>
           1. If Type(_P_) is Symbol, return OrdinaryDefineOwnProperty(_O_, _P_, _Desc_).
-          1. Let _current_ be ? <emu-meta effects="user-code">_O_.[[GetOwnProperty]]</emu-meta>(_P_).
+          1. Let _current_ be ? _O_.[[GetOwnProperty]](_P_).
           1. If _current_ is *undefined*, return *false*.
           1. If _Desc_.[[Configurable]] is present and has value *true*, return *false*.
           1. If _Desc_.[[Enumerable]] is present and has value *false*, return *false*.