Skip to content

Commit

Permalink
Move index entry into the relevant paragraph.
Browse files Browse the repository at this point in the history
  • Loading branch information
Eelis committed Aug 1, 2020
1 parent 439881e commit 765dec7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion source/templates.tex
Original file line number Diff line number Diff line change
Expand Up @@ -1927,9 +1927,9 @@
\end{example}

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

\pnum
\indextext{subsume|see{constraint, subsumption}}
A constraint $P$ \defnx{subsumes}{constraint!subsumption} a constraint $Q$
if and only if,
for every disjunctive clause $P_i$
Expand Down

0 comments on commit 765dec7

Please sign in to comment.