diff options
Diffstat (limited to 'library/lib.mli')
| -rw-r--r-- | library/lib.mli | 2 |
1 files changed, 1 insertions, 1 deletions
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 |