From 30debb0c5d5dc42fa36864aac76b82f49319ad84 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Wed, 21 Feb 2024 21:39:56 +0100 Subject: [PATCH] [temp.constr.order] Move index entry to correct paragraph (#6812) --- source/templates.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 082875367b..44235f9d48 100644 --- a/source/templates.tex +++ b/source/templates.tex @@ -1940,9 +1940,9 @@ \indextext{constraint!normalization|)} \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$