From 4090fd540e5b27748e23f7b6706f7a192d0f92e3 Mon Sep 17 00:00:00 2001
From: "Tab Atkins Jr." <jackalmage@gmail.com>
Date: Thu, 22 Aug 2024 15:50:56 -0700
Subject: [PATCH] export "is a platform object"

---
 index.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/index.bs b/index.bs
index aa214732..a4b4919c 100644
--- a/index.bs
+++ b/index.bs
@@ -13486,7 +13486,7 @@ and must return {{undefined}}.
 <h3 id="js-platform-objects" oldids="es-platform-objects">Platform objects implementing interfaces</h3>
 
 <div algorithm>
-    A JavaScript value |value| <dfn>is a platform object</dfn> if [$Type$](|value|) is Object and
+    A JavaScript value |value| <dfn export>is a platform object</dfn> if [$Type$](|value|) is Object and
     if |value| has a \[[PrimaryInterface]] internal slot.
 </div>