diff options
author | Leo White <leo@lpw25.net> | 2019-05-23 16:27:58 +0100 |
---|---|---|
committer | Leo White <leo@lpw25.net> | 2019-05-23 16:27:58 +0100 |
commit | acd06f1eff2f560f7a5b652915322007995e02f0 (patch) | |
tree | b9812b2e087c31ec376c97357aebf97a9a8f2680 /ocamldoc/odoc_man.ml | |
parent | 01b93c85965465826fc434f99c8805dbaf7c4b1f (diff) | |
download | ocaml-acd06f1eff2f560f7a5b652915322007995e02f0.tar.gz |
Remove Misc.may_map and similar
Diffstat (limited to 'ocamldoc/odoc_man.ml')
-rw-r--r-- | ocamldoc/odoc_man.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_man.ml b/ocamldoc/odoc_man.ml index 5b1d1e5353..3f4ddf4c02 100644 --- a/ocamldoc/odoc_man.ml +++ b/ocamldoc/odoc_man.ml @@ -733,7 +733,7 @@ class man = (fun (p, desc_opt) -> bs b ".sp\n"; bs b ("\""^p.mp_name^"\"\n"); - Misc.may (self#man_of_module_type b m_name) p.mp_type; + Option.iter (self#man_of_module_type b m_name) p.mp_type; bs b "\n"; ( match desc_opt with |