From 88ca7c5eee14e8ba45d98f20c48fca1f023af39a Mon Sep 17 00:00:00 2001
From: Guy Bedford <guybedford@gmail.com>
Date: Mon, 8 Apr 2024 09:28:15 -0700
Subject: [PATCH] update

---
 spec.emu | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/spec.emu b/spec.emu
index 7636170..21ea22b 100644
--- a/spec.emu
+++ b/spec.emu
@@ -1859,7 +1859,10 @@ contributors: Luca Casonato, Guy Bedford, Nicolò Ribaudo
         <p>An implementation of HostGetModuleSourceName must conform to the following requirements:</p>
         <ul>
           <li>
-            For any object which may be obtained through GetModuleSource(), returns a String corresponding to the source record type to be used as the strongly branded return value of the @@toStringTag getter on %AbstractModuleSource%.
+            For any object which may be obtained through GetModuleSource(), returns a normal completion for a string String corresponding to the source record type to be used as the strongly branded return value of the @@toStringTag getter on %AbstractModuleSource%.
+          </li>
+          <li>
+            For any object which does not represent a compiled module source, returns a throw completion.
           </li>
         </ul>
       </emu-clause>