From a3edfa6d305444a43c418a71db59614802679a61 Mon Sep 17 00:00:00 2001
From: Ron Buckton <ron.buckton@microsoft.com>
Date: Thu, 13 Jul 2023 08:54:29 -0400
Subject: [PATCH] Add missing .prototype property entries for
 DisposableStack/AsyncDisposableStack (#167)

---
 spec.emu | 17 +++++++++++++++--
 1 file changed, 15 insertions(+), 2 deletions(-)

diff --git a/spec.emu b/spec.emu
index 7c8fdb6..b24b975 100644
--- a/spec.emu
+++ b/spec.emu
@@ -4401,8 +4401,15 @@ contributors: Ron Buckton, Ecma International
       <h1>Properties of the DisposableStack Constructor</h1>
       <p>The DisposableStack constructor:</p>
       <ul>
-        <li>Has a [[Prototype]] internal slot whose value is %Function.prototype%.</li>
+        <li>has a [[Prototype]] internal slot whose value is %Function.prototype%.</li>
+        <li>has the following properties:</li>
       </ul>
+
+      <emu-clause id="sec-disposablestack.prototype">
+        <h1>DisposableStack.prototype</h1>
+        <p>The initial value of `DisposableStack.prototype` is the DisposableStack prototype object.</p>
+        <p>This property has the attributes { [[Writable]]: *false*, [[Enumerable]]: *false*, [[Configurable]]: *false* }.</p>
+      </emu-clause>
     </emu-clause>
 
     <emu-clause id="sec-properties-of-the-disposablestack-prototype-object">
@@ -4600,8 +4607,14 @@ contributors: Ron Buckton, Ecma International
       <h1>Properties of the AsyncDisposableStack Constructor</h1>
       <p>The AsyncDisposableStack constructor:</p>
       <ul>
-        <li>Has a [[Prototype]] internal slot whose value is %Function.prototype%.</li>
+        <li>has a [[Prototype]] internal slot whose value is %Function.prototype%.</li>
+        <li>has the following properties:</li>
       </ul>
+      <emu-clause id="sec-asyncdisposablestack.prototype">
+        <h1>AsyncDisposableStack.prototype</h1>
+        <p>The initial value of `AsyncDisposableStack.prototype` is the AsyncDisposableStack prototype object.</p>
+        <p>This property has the attributes { [[Writable]]: *false*, [[Enumerable]]: *false*, [[Configurable]]: *false* }.</p>
+      </emu-clause>
     </emu-clause>
 
     <emu-clause id="sec-properties-of-the-asyncdisposablestack-prototype-object">