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

(limited to 'contrib/interface')

diff --git a/contrib/interface/pbp.ml b/contrib/interface/pbp.ml
index 55aae90be2..7bd29a9584 100644
--- a/contrib/interface/pbp.ml
+++ b/contrib/interface/pbp.ml
@@ -249,7 +249,7 @@ let reference dir s =
               (List.map id_of_string (List.rev ("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 "^
 	     (Libnames.string_of_qualid (Libnames.make_qualid dir id)))
-- 
cgit v1.2.3