From 4f43976b2b8b2cfcbac326db4e957f409cd75f59 Mon Sep 17 00:00:00 2001 From: Jens Maurer Date: Sat, 17 Feb 2024 16:46:24 +0100 Subject: [PATCH] [temp.constr.order] Move index entry to correct paragraph --- source/templates.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/templates.tex b/source/templates.tex index 4671d85c34..9c7140ffff 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$