From c6fe6dee2bee811568a6d4bb142bbca81275804e Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Tue, 4 Nov 2025 12:36:34 -1000
Subject: [PATCH] [lex.token] Strike mention of whitespace in phase 7

It is meaningless to talk of whitespace separating tokens
in phase 7 as whitespace is discarded at the end of phase 4.
---
 source/lex.tex | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/source/lex.tex b/source/lex.tex
index 8005b33374..fe4891e667 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -879,15 +879,6 @@
 Literals include strings and character and numeric literals.
 \end{footnote}
 operators, and other separators.
-\indextext{whitespace}%
-Comments and the characters \unicode{0020}{space}, \unicode{0009}{character tabulation},
-\unicode{000b}{line tabulation}, \unicode{000c}{form feed}, and new-line
-(collectively, ``whitespace''), as described below, are ignored except
-as they serve to separate tokens.
-\begin{note}
-Whitespace can separate otherwise adjacent identifiers, keywords, numeric
-literals, and alternative tokens containing alphabetic characters.
-\end{note}
 \indextext{token|)}
 
 \rSec1[lex.name]{Identifiers}