From 6032ae1dfaf2f9313aad8277b44df1d9d0cc8d91 Mon Sep 17 00:00:00 2001
From: bertot
Date: Mon, 23 Feb 2004 13:05:32 +0000
Subject: corrects the treatement of SubClass declarations

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5372 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index 5359c69ade..8dc40b6a2c 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -1358,8 +1358,8 @@ let xlate_thm x = CT_thm (match x with
 let xlate_defn x = CT_defn (match x with
  | (Local, Definition) -> "Local"
  | (Global, Definition) -> "Definition"
- | (Global, Coercion) -> "SubClass"
- | (Local, Coercion) -> "Local SubClass"
+ | (Global, SubClass) -> "SubClass"
+ | (Local, SubClass) -> "Local SubClass"
  | (Global,CanonicalStructure) -> "Canonical Structure"
  | (Local, CanonicalStructure) -> 
      xlate_error "Local CanonicalStructure not parsed"
-- 
cgit v1.2.3