From 4ff602f29211792651b22d36d1ab444e6f570045 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 26 Jun 2010 13:01:15 +0000
Subject: Applying François' patches about Canonical Projections (see #2302 and
 #2334). Printer pr_cs_pattern is kept in recordops only. Also updated
 CHANGES. Fixed spelling of "uniform inheritance condition" in doc too (see

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13204 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Coercion.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/refman/Coercion.tex b/doc/refman/Coercion.tex
index 7a74ffd31f..4f3d3ec41e 100644
--- a/doc/refman/Coercion.tex
+++ b/doc/refman/Coercion.tex
@@ -163,7 +163,7 @@ Declares the construction denoted by {\qualid} as a coercion between
 \item {\qualid} \errindex{is not a function}
 \item \errindex{Cannot find the source class of {\qualid}}
 \item \errindex{Cannot recognize {\class$_1$} as a source class of {\qualid}}
-\item {\qualid} \errindex{does not respect the inheritance uniform condition}
+\item {\qualid} \errindex{does not respect the uniform inheritance condition}
 \item \errindex{Found target class {\class} instead of {\class$_2$}}
 
 \end{ErrMsgs}
-- 
cgit v1.2.3