diff options
Diffstat (limited to 'library/lib.ml')
| -rw-r--r-- | library/lib.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/library/lib.ml b/library/lib.ml index bf4c0a474..47341e675 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -312,9 +312,9 @@ let end_mod is_type = let end_module () = end_mod false let end_modtype () = end_mod true -let contents_after = function - | None -> !lib_stk - | Some sp -> let (after,_,_) = split_lib sp in after +let contents () = !lib_stk + +let contents_after sp = let (after,_,_) = split_lib sp in after (* Modules. *) |