From 3f4bc40ac28dfc6cb205db199daaa4e87d260a99 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 4 Nov 2005 09:02:45 +0000
Subject: Conformité au principe du nouveau warning X de ocaml 3.09

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7512 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/lib.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/library/lib.ml b/library/lib.ml
index f713d0414e..b8e7cea951 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -627,8 +627,7 @@ let library_part ref =
   let dir,_ = repr_path sp in
   match ref with
   | VarRef id -> 
-      anomaly "TODO";
-      extract_dirpath_prefix (sections_depth ()) (cwd ())
+      anomaly "library_part not supported on local variables"
   | _ ->
       if is_dirpath_prefix_of dir (cwd ()) then
         (* Not yet (fully) discharged *)
-- 
cgit v1.2.3