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
---
 interp/constrintern.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 3a9dc3a75a..89d4e57ae1 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -530,7 +530,7 @@ let find_constructor ref =
         let rec unf = function
           | ConstRef cst ->
 	      let v = Environ.constant_value (Global.env()) cst in
-              unf (reference_of_constr v)
+              unf (global_of_constr v)
           | ConstructRef c -> 
 	      if !dump then add_glob loc r; 
 	      c, []
-- 
cgit v1.2.3