Skip to content

Commit 3722ca4

Browse files
burblebeetkoeppe
authored andcommitted
[temp.constr.concept] Add a reference for "normal form".
1 parent 711f307 commit 3722ca4

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

source/templates.tex

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1828,7 +1828,8 @@
18281828
the immediate context of the constraint\iref{temp.deduct.general},
18291829
the constraint is not satisfied.
18301830
Otherwise, let \tcode{CI$'$} be
1831-
the normal form of the concept-id after substitution of \tcode{C}.
1831+
the normal form\iref{temp.constr.normal} of the concept-id
1832+
after substitution of \tcode{C}.
18321833
\begin{note}
18331834
Normalization of \tcode{CI} might be ill-formed; no diagnostics is required.
18341835
\end{note}

0 commit comments

Comments
 (0)