From a9185e31c1d9fc8339aba449e41ed3d8063a12b7 Mon Sep 17 00:00:00 2001 From: lprv <100177227+lprv@users.noreply.github.com> Date: Tue, 1 Apr 2025 14:44:07 +0000 Subject: [PATCH] [temp.constr.concept] Improve phrasing of note --- source/templates.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 21e55e283b..a8708ce0f2 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -1829,7 +1829,7 @@ the normal form\iref{temp.constr.normal} of the concept-id after substitution of \tcode{C}. \begin{note} -Normalization of \tcode{CI} might be ill-formed; no diagnostics is required. +Normalization of \tcode{CI} can be ill-formed with no diagnostic required. \end{note} \pnum