From 9df6e882d61ae9c1502d9f3e81e2bf304fa6679e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 12 Jun 2010 17:53:19 +0000
Subject: Applying François' patch fixing grammar of uniform inheritance
 condition message (see bug report #2331)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13120 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/class.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/class.ml b/toplevel/class.ml
index ec623f7674..ef622c5178 100644
--- a/toplevel/class.ml
+++ b/toplevel/class.ml
@@ -56,7 +56,7 @@ let explain_coercion_error g = function
       pr_class cl ++ str " cannot be a source class"
   | NotUniform ->
       (Printer.pr_global g ++
-         str" does not respect the inheritance uniform condition");
+         str" does not respect the uniform inheritance condition");
   | NoTarget ->
       (str"Cannot find the target class")
   | WrongTarget (clt,cl) ->
-- 
cgit v1.2.3