From dc2e676c9cdedea43805c21a4b3203832a985f95 Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 23 May 2001 15:13:07 +0000
Subject: amelioration des messages d'erreurs vis a vis des evars ajout
 automatique des chemins vers les sources au moment du Drop

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

(limited to 'contrib/xml/xmlcommand.ml')

diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml
index 5f23c1d641..95a93cde73 100644
--- a/contrib/xml/xmlcommand.ml
+++ b/contrib/xml/xmlcommand.ml
@@ -265,8 +265,7 @@ let print_term inner_types l env csr =
 
   let inner_type_display env term =
    let type_of_term =
-    Reduction.nf_betaiota env (Evd.empty)
-     (R.get_type_of env (Evd.empty) term)
+    Reduction.nf_betaiota (R.get_type_of env (Evd.empty) term)
    in
     match R.get_sort_of env (Evd.empty) type_of_term with
        T.Prop T.Null -> InnerProp type_of_term
-- 
cgit v1.2.3