From 78384438637eb9ce2f11f61bafc59f17c5f933da Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 7 Feb 2001 10:02:40 +0000
Subject: Retrait de EvarRef de global_reference; nettoyage autour de
 ast_of_ref

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

(limited to 'contrib')

diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml
index a653b1c04..815841673 100644
--- a/contrib/xml/xmlcommand.ml
+++ b/contrib/xml/xmlcommand.ml
@@ -726,8 +726,7 @@ let print sp fn =
         let hyps = string_list_of_named_context_list hyps in
          sp,Inductive,
           print_mutual_inductive packs [] hyps env inner_types
-    | T.ConstructRef _
-    | T.EvarRef _ ->
+    | T.ConstructRef _ ->
        Util.anomaly ("print: this should not happen")
   in
    Xml.pp pp_cmds fn ;
-- 
cgit v1.2.3