From 10e2dd53b7c4a997aa975831e581b1bd68055d89 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 23 Jun 2020 10:30:13 +0100
Subject: [PATCH] doc/concepts.tex: Make use of the concept of `inconsistent
 lists'.

Also eliminate a pointless item.
---
 doc/concepts.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/concepts.tex b/doc/concepts.tex
index 95a0891..0e34bdf 100644
--- a/doc/concepts.tex
+++ b/doc/concepts.tex
@@ -169,8 +169,8 @@ in~\cite{barrett-1996:monot-super-linear-dylan}.  It works as follows.
   have no merge then they are said to be \emph{inconsistent}.
 \item The class precedence list of a class $C$ is a merge of the local
   precedence list of $C$ together with the class precedence lists of each of
-  $C$'s direct superclasses.
-\item If there are no such merges, then the definition of $C$ is invalid.
+  $C$'s direct superclasses.  If these lists are inconsistent, then the
+  definition of $C$ is invalid.
 \item Suppose that there are multiple candidate merges.  Consider the
   earliest position in these candidate merges at which they disagree.  The
   \emph{candidate classes} at this position are the classes appearing at this
-- 
2.11.0

