diff options
| -rw-r--r-- | library/lib.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/lib.ml b/library/lib.ml index c51dc79a7d..e625fe215b 100644 --- a/library/lib.ml +++ b/library/lib.ml @@ -506,7 +506,7 @@ let discharge_item ((sp,_ as oname),e) = | Leaf lobj -> option_map (fun o -> (basename sp,o)) (discharge_object (oname,lobj)) | FrozenState _ -> None - | ClosedSection -> None + | ClosedSection _ | ClosedModtype _ | ClosedModule _ -> None | OpenedSection _ | OpenedModtype _ | OpenedModule _ | CompilingLibrary _ -> anomaly "discharge_item" |