Pour satisfaire ProofGeneral

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

3 files changed, 3 insertions, 3 deletions

diff --git a/library/lib.ml b/library/lib.ml
index 5ce7cf595d..c686e2ccf0 100644
--- a/library/lib.ml
+++ b/library/lib.ml
@@ -346,7 +346,7 @@ let end_compilation dir =
   !path_prefix,after
 
 (* Returns true if we are inside an opened module type *)
-let is_specification () = 
+let is_modtype () = 
   let opened_p = function
     | _, OpenedModtype _ -> true 
     | _ -> false
diff --git a/library/lib.mli b/library/lib.mli
index 7f22250f14..6acb565a8f 100644
--- a/library/lib.mli
+++ b/library/lib.mli
@@ -88,7 +88,8 @@ val sections_are_opened : unit -> bool
 val sections_depth : unit -> int
 
 (* Are we inside an opened module type *)
-val is_specification : unit -> bool
+val is_modtype : unit -> bool
+
 
 (* Returns the most recent OpenedThing node *)
 val what_is_opened : unit -> object_name * node
diff --git a/library/nametab.mli b/library/nametab.mli
index bd1a8b1bdb..f14b1a1231 100755
--- a/library/nametab.mli
+++ b/library/nametab.mli
@@ -160,7 +160,6 @@ val shortest_qualid_of_module : module_path -> qualid
 val shortest_qualid_of_modtype : kernel_name -> qualid
 
 
-
 (*
 type frozen