From 11d020d6ed7f7327e8b20002cd3ba036bdaa7de5 Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Tue, 2 Dec 2025 23:02:35 +0700
Subject: [PATCH] [lex.token] Strike useless footnote

---
 source/lex.tex | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/source/lex.tex b/source/lex.tex
index 8005b33374..c6e24e3bba 100644
--- a/source/lex.tex
+++ b/source/lex.tex
@@ -874,10 +874,7 @@
 
 \pnum
 \indextext{\idxgram{token}}%
-There are five kinds of tokens: identifiers, keywords, literals,%
-\begin{footnote}
-Literals include strings and character and numeric literals.
-\end{footnote}
+There are five kinds of tokens: identifiers, keywords, literals,
 operators, and other separators.
 \indextext{whitespace}%
 Comments and the characters \unicode{0020}{space}, \unicode{0009}{character tabulation},