From c3ca134628ad4d9ef70a13b65c48ff17c737238f Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 18 Dec 2012 18:52:54 +0000
Subject: Modulification of name

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

(limited to 'kernel/declarations.ml')

diff --git a/kernel/declarations.ml b/kernel/declarations.ml
index 6b793ce2f..bc721dce3 100644
--- a/kernel/declarations.ml
+++ b/kernel/declarations.ml
@@ -136,7 +136,7 @@ let subst_const_body sub cb = {
 (* Hash-consing of [constant_body] *)
 
 let hcons_rel_decl ((n,oc,t) as d) =
-  let n' = hcons_name n
+  let n' = Name.hcons n
   and oc' = Option.smartmap hcons_constr oc
   and t' = hcons_types t
   in if n' == n && oc' == oc && t' == t then d else (n',oc',t')
-- 
cgit v1.2.3