Streamline GetDisposeMethod AO

tc39 · Feb 1, 2023 · 4bffe15 · 4bffe15
1 parent a6824ae
commit 4bffe15
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/spec.emu b/spec.emu
@@ -1049,9 +1049,7 @@ contributors: Ron Buckton, Ecma International
       </h1>
       <dl class="header"></dl>
       <emu-alg>
-        1. Assert: _hint_ is ~sync-dispose~.
-        1. Let _method_ be ? GetMethod(_V_, @@dispose).
-        1. Return _method_.
+        1. Return ? GetMethod(_V_, @@dispose).
       </emu-alg>
     </emu-clause>