Skip to content

Commit a988822

Browse files
burblebeetkoeppe
authored andcommitted
[temp.constr.concept] Replace "The constraint" with CD to clarify.
1 parent e3f552f commit a988822

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

source/templates.tex

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1841,8 +1841,7 @@
18411841
the parameter mapping of \tcode{CD} and the arguments of \tcode{CI}.
18421842

18431843
\pnum
1844-
%FIXME: What "constraint"? CD?
1845-
The constraint is satisfied if \tcode{CI$''$} is satisfied.
1844+
\tcode{CD} is satisfied if \tcode{CI$''$} is satisfied.
18461845
\begin{note}
18471846
Checking whether \tcode{CI$''$} is satisfied
18481847
can lead to further normalization of concept-dependent constraints.

0 commit comments

Comments
 (0)