Petit netoyage dans lib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3463 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 6 deletions

diff --git a/library/library.mli b/library/library.mli
index 43d73d241..d1d345aab 100644
--- a/library/library.mli
+++ b/library/library.mli
@@ -54,12 +54,6 @@ val require_library_from_file :
 val start_library : string -> dir_path * string
 val save_library_to : dir_path -> string -> unit
 
-(*s [library_segment m] returns the segment of the loaded library
-    [m]; if not given, the segment of the current library is returned
-    (which is then the same as [Lib.contents_after None]). 
-*)
-(*val library_segment : dir_path option -> Lib.library_segment*)
-
 (* [library_full_filename] returns the full filename of a loaded library. *)
 
 val library_full_filename : dir_path -> string