From 146fb70f0729285fb4bb59613c73da0bad92d6c6 Mon Sep 17 00:00:00 2001
From: coq
Date: Tue, 24 Sep 2002 15:09:43 +0000
Subject: Un peu (plus) d'ordre dans Nametab...

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

(limited to 'parsing')

diff --git a/parsing/coqlib.ml b/parsing/coqlib.ml
index 52311d188e..96743098cf 100644
--- a/parsing/coqlib.ml
+++ b/parsing/coqlib.ml
@@ -47,7 +47,7 @@ let reference dir s =
   let dir = make_dir ("Coq"::"Init"::[dir]) in
   let id = id_of_string s in
   try 
-    Nametab.locate_in_absolute_module dir id
+    Nametab.absolute_reference (Libnames.make_path dir id)
   with Not_found ->
     anomaly ("Coqlib: cannot find "^(string_of_qualid (make_qualid dir id)))
 
-- 
cgit v1.2.3