From d0a324eef4d35a87e300a2b660b26fdbe2043d92 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 20 May 2005 15:54:50 +0000
Subject: Adoption du nom canonique global_of_constr pour éviter confusion avec
 type reference

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

(limited to 'contrib/xml')

diff --git a/contrib/xml/cic2acic.ml b/contrib/xml/cic2acic.ml
index 10a428e832..a0faa6426e 100644
--- a/contrib/xml/cic2acic.ml
+++ b/contrib/xml/cic2acic.ml
@@ -468,7 +468,7 @@ print_endline "PASSATO" ; flush stdout ;
           let subst,residual_args,uninst_vars =
            let variables,basedir =
              try
-               let g = Libnames.reference_of_constr h in
+               let g = Libnames.global_of_constr h in
                let sp =
                 match g with
                    Libnames.ConstructRef ((induri,_),_)
-- 
cgit v1.2.3