From f557cc769ad4ccc55e26db2ebcbe4372cfdd9d70 Mon Sep 17 00:00:00 2001
From: "Henry H. Andrews" <hha1@cornell.edu>
Date: Sun, 18 Sep 2022 20:11:44 -0700
Subject: [PATCH] Empty schemas are really empty

---
 jsonschema-core.xml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/jsonschema-core.xml b/jsonschema-core.xml
index 0181a388..85419398 100644
--- a/jsonschema-core.xml
+++ b/jsonschema-core.xml
@@ -355,8 +355,7 @@
                         <xref target="unrecognized" format="counter"></xref>.
                     </t>
                     <t>
-                        An empty schema is a JSON Schema with no properties, or only unknown
-                        properties.
+                        An empty schema is a JSON Schema with no properties.
                     </t>
                 </section>
                 <section title="Boolean JSON Schemas">