We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a1cb888 commit f69d04cCopy full SHA for f69d04c
source/templates.tex
@@ -1874,7 +1874,7 @@
1874
the normal form\iref{temp.constr.normal} of the concept-id
1875
after substitution of \tcode{C}.
1876
\begin{note}
1877
-Normalization of \tcode{CI} might be ill-formed; no diagnostics is required.
+Normalization of \tcode{CI} might be ill-formed; no diagnostic is required.
1878
\end{note}
1879
1880
\pnum
0 commit comments