From fe1656c40f597f34045ce25d604ebee6b048a1cc Mon Sep 17 00:00:00 2001
From: fantasai <fantasai.bugs@inkedblade.net>
Date: Wed, 4 May 2022 22:44:00 -0400
Subject: [PATCH] Don't export character as an alias of code point
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

“Character” is an ambiguous term and is used in multiple senses in the Web platform. Don't alias it to only one of them. #449
---
 infra.bs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infra.bs b/infra.bs
index a5662fd..f9dd142 100644
--- a/infra.bs
+++ b/infra.bs
@@ -728,7 +728,7 @@ the same order.
 
 <h3 id=code-points>Code points</h3>
 
-<p>A <dfn export lt="code point|character">code point</dfn> is a Unicode code point and is
+<p>A <dfn export>code point</dfn> is a Unicode code point and is
 represented as "U+" followed by four-to-six <a>ASCII upper hex digits</a>, in the range U+0000 to
 U+10FFFF, inclusive. A <a>code point</a>'s <dfn export for="code point">value</dfn> is its
 underlying number.