From 3d4d88db02cdc1c46c7f00c8d5389f7f0e15be60 Mon Sep 17 00:00:00 2001
From: Michael Dyck <jmdyck@ibiblio.org>
Date: Mon, 16 Sep 2019 15:29:19 -0400
Subject: [PATCH] Specify a particular subtype of Environment Record

... for _realm_.[[GlobalEnv]] and _module_.[[Environment]]
---
 spec.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/spec.html b/spec.html
index 493c91a0a53..d571feb2a78 100644
--- a/spec.html
+++ b/spec.html
@@ -7225,7 +7225,7 @@ <h1>Realms</h1>
             [[GlobalEnv]]
           </td>
           <td>
-            Environment Record
+            global Environment Record
           </td>
           <td>
             The global environment for this realm
@@ -22469,7 +22469,7 @@ <h1>Abstract Module Records</h1>
                 [[Environment]]
               </td>
               <td>
-                Environment Record | *undefined*
+                module Environment Record | *undefined*
               </td>
               <td>
                 The Environment Record containing the top level bindings for this module. This field is set when the module is linked.