From e0a9d139f11ab423846ca96fca86dbd40afdacc6 Mon Sep 17 00:00:00 2001
From: Alisdair Meredith <alisdairm@me.com>
Date: Sun, 2 Nov 2025 17:13:39 -1000
Subject: [PATCH] [module.global.frag] Remove irrelevant note about
 preprocessor

[module.global.frag] is entirely part of phase 7 of translation,
and it makes no sense to talk of preprocessing directive in the
grammar term *declaration-seq*.  Strike the note rather than try
to turn it into something meaningful.
---
 source/modules.tex | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/source/modules.tex b/source/modules.tex
index cfe20205b1..90c0d8bc16 100644
--- a/source/modules.tex
+++ b/source/modules.tex
@@ -587,13 +587,6 @@
     module-keyword \terminal{;} \opt{declaration-seq}
 \end{bnf}
 
-\pnum
-\begin{note}
-Prior to phase 4 of translation,
-only preprocessing directives can appear
-in the \grammarterm{declaration-seq}\iref{cpp.pre}.
-\end{note}
-
 \pnum
 A \grammarterm{global-module-fragment} specifies the contents of the
 \defn{global module fragment} for a module unit.