From b1eef69751a05eebdbdc9d3091e1dae3386218d0 Mon Sep 17 00:00:00 2001
From: coq
Date: Fri, 16 Aug 2002 10:00:36 +0000
Subject: Strengthenning rules for modules + No modules in sections

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2969 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 library/lib.mli | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'library/lib.mli')

diff --git a/library/lib.mli b/library/lib.mli
index 90f111c4bd..075be28904 100644
--- a/library/lib.mli
+++ b/library/lib.mli
@@ -123,11 +123,13 @@ val module_dp : unit -> dir_path
 
 (*s Modules and module types *)
 
-val start_module : module_ident -> module_path -> Summary.frozen -> unit
+val start_module : 
+  module_ident -> module_path -> Summary.frozen -> object_prefix
 val end_module : module_ident 
   -> object_name * object_prefix * Summary.frozen * library_segment
 
-val start_modtype : module_ident -> module_path -> Summary.frozen -> unit
+val start_modtype : 
+  module_ident -> module_path -> Summary.frozen -> object_prefix
 val end_modtype : module_ident 
   -> object_name * object_prefix * Summary.frozen * library_segment
 
-- 
cgit v1.2.3