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

(limited to 'proofs')

diff --git a/proofs/redexpr.ml b/proofs/redexpr.ml
index 47d468bd39..6da2c8c2fd 100644
--- a/proofs/redexpr.ml
+++ b/proofs/redexpr.ml
@@ -79,7 +79,7 @@ let make_flag f =
   in red
 
 let is_reference c = 
-  try let r = reference_of_constr c in true with _ -> false
+  try let r = global_of_constr c in true with _ -> false
 
 let red_expr_tab = ref Stringmap.empty
 
-- 
cgit v1.2.3