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 +-
 contrib/omega/coq_omega.ml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'contrib')

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)))
diff --git a/contrib/omega/coq_omega.ml b/contrib/omega/coq_omega.ml
index 47d5c5f4d2..f1908fb385 100644
--- a/contrib/omega/coq_omega.ml
+++ b/contrib/omega/coq_omega.ml
@@ -362,7 +362,7 @@ let make_coq_path dir s =
   let dir = make_dirpath (List.map id_of_string (List.rev ("Coq"::dir))) in
   let id = id_of_string s in
   let ref = 
-    try Nametab.locate_in_absolute_module dir id 
+    try Nametab.absolute_reference (Libnames.make_path dir id)
     with Not_found ->
       anomaly("Coq_omega: cannot find "^
 	      (Libnames.string_of_qualid(Libnames.make_qualid dir id)))
-- 
cgit v1.2.3