From e6370d38bd56ccd070cb33d257147ace238efc8b Mon Sep 17 00:00:00 2001
From: bertot
Date: Thu, 26 Feb 2004 13:34:01 +0000
Subject: Not all cases for coercions and locality were handled

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

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index 8dc40b6a2c..ee85a81635 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -1359,11 +1359,12 @@ let xlate_defn x = CT_defn (match x with
  | (Local, Definition) -> "Local"
  | (Global, Definition) -> "Definition"
  | (Global, SubClass) -> "SubClass"
+ | (Global, Coercion) -> "Coercion"
  | (Local, SubClass) -> "Local SubClass"
+ | (Local, Coercion) -> "Local Coercion"
  | (Global,CanonicalStructure) -> "Canonical Structure"
  | (Local, CanonicalStructure) -> 
-     xlate_error "Local CanonicalStructure not parsed"
- | (_, SubClass) -> xlate_error "Obsolete SubClass not supported")
+     xlate_error "Local CanonicalStructure not parsed")
 
 let xlate_var x = CT_var (match x with
  | (Global,Definitional) -> "Parameter"
-- 
cgit v1.2.3