Skip to content

Commit 30debb0

Browse files
authored
[temp.constr.order] Move index entry to correct paragraph (#6812)
1 parent 3616a40 commit 30debb0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

source/templates.tex

+1-1
Original file line numberDiff line numberDiff line change
@@ -1940,9 +1940,9 @@
19401940
\indextext{constraint!normalization|)}
19411941

19421942
\rSec2[temp.constr.order]{Partial ordering by constraints}
1943-
\indextext{subsume|see{constraint, subsumption}}
19441943

19451944
\pnum
1945+
\indextext{subsume|see{constraint, subsumption}}
19461946
A constraint $P$ \defnx{subsumes}{constraint!subsumption} a constraint $Q$
19471947
if and only if,
19481948
for every disjunctive clause $P_i$

0 commit comments

Comments
 (0)