From c45d9afc77072bc6042c3a5261f82783a70ee7a1 Mon Sep 17 00:00:00 2001 From: Alisdair Meredith Date: Mon, 8 Dec 2025 19:09:54 +0700 Subject: [PATCH] [lex.string] Remove unused term from the index While 'character string' is indexed for this block of text, there is no definition for this term present. Searching the standard for this term, outside a 5 or 6 uses in library clauses, the only other matches are as prefixes for the larger term of power, 'character string literal'. As this term appears to be unused, and has no definition, let's remove it from the index. --- source/lex.tex | 1 - 1 file changed, 1 deletion(-) diff --git a/source/lex.tex b/source/lex.tex index 8005b33374..edabe389f3 100644 --- a/source/lex.tex +++ b/source/lex.tex @@ -1851,7 +1851,6 @@ \pnum \indextext{literal!string}% -\indextext{character string}% \indextext{string!type of}% \indextext{type!\idxcode{wchar_t}}% \indextext{prefix!\idxcode{L}}%