We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9c04b15 commit a9185e3Copy full SHA for a9185e3
1 file changed
source/templates.tex
@@ -1829,7 +1829,7 @@
1829
the normal form\iref{temp.constr.normal} of the concept-id
1830
after substitution of \tcode{C}.
1831
\begin{note}
1832
-Normalization of \tcode{CI} might be ill-formed; no diagnostics is required.
+Normalization of \tcode{CI} can be ill-formed with no diagnostic required.
1833
\end{note}
1834
1835
\pnum
0 commit comments