From f69d04c76a7b78d3f4317bdb7e6a067950d0a91f Mon Sep 17 00:00:00 2001 From: Hubert Tong Date: Sat, 6 Dec 2025 21:57:02 -0500 Subject: [PATCH] [temp.constr.concept] Fix "no diagnostics is" --- source/templates.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 1cc78289d7..cc18927f93 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -1874,7 +1874,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} might be ill-formed; no diagnostic is required. \end{note} \pnum