From 1699a75b57fddbd43d3ba54038a2d243cace375f Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Wed, 18 Dec 2024 16:05:30 -0800
Subject: [PATCH] Editorial: Remove empty from GetModuleNamespace (#3484)

---
 spec.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index bce1f26803..3430b47a8e 100644
--- a/spec.html
+++ b/spec.html
@@ -28468,7 +28468,7 @@ <h1>
         <h1>
           GetModuleNamespace (
             _module_: an instance of a concrete subclass of Module Record,
-          ): a Module Namespace Object or ~empty~
+          ): a Module Namespace Object
         </h1>
         <dl class="header">
           <dt>description</dt>