From 6938129cc04434a2431d7a98564c4c1ee0516a7b Mon Sep 17 00:00:00 2001 From: Jan Schultke Date: Mon, 10 Mar 2025 20:42:18 +0100 Subject: [PATCH] [basic.scope.scope] Replace "warning" with "diagnostic message" --- source/basic.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/basic.tex b/source/basic.tex index 3f55c2294b..8254b5b6bd 100644 --- a/source/basic.tex +++ b/source/basic.tex @@ -1077,7 +1077,7 @@ \end{itemize} \recommended -Implementations should not emit a warning +Implementations should not emit a diagnostic message that a name-independent declaration is used or unused. \pnum