From c4dccc430e10b784e65b5bf3330c55d658d2883d Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Dec 1999 15:15:47 +0000
Subject: deplacement de Discharge dans toplevel

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

(limited to 'library/lib.mli')

diff --git a/library/lib.mli b/library/lib.mli
index 56bbcd59cf..3d87abe4db 100644
--- a/library/lib.mli
+++ b/library/lib.mli
@@ -34,7 +34,7 @@ val contents_after : section_path option -> library_segment
 (*s Opening and closing a section. *)
 
 val open_section : string -> section_path
-val close_section : string -> unit
+val close_section : string -> section_path * library_segment
 
 val make_path : identifier -> path_kind -> section_path
 val cwd : unit -> string list
-- 
cgit v1.2.3