summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_print.ml
diff options
context:
space:
mode:
authorLeo White <leo@lpw25.net>2019-05-23 16:27:58 +0100
committerLeo White <leo@lpw25.net>2019-05-23 16:27:58 +0100
commitacd06f1eff2f560f7a5b652915322007995e02f0 (patch)
treeb9812b2e087c31ec376c97357aebf97a9a8f2680 /ocamldoc/odoc_print.ml
parent01b93c85965465826fc434f99c8805dbaf7c4b1f (diff)
downloadocaml-acd06f1eff2f560f7a5b652915322007995e02f0.tar.gz
Remove Misc.may_map and similar
Diffstat (limited to 'ocamldoc/odoc_print.ml')
-rw-r--r--ocamldoc/odoc_print.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_print.ml b/ocamldoc/odoc_print.ml
index b21dff008f..1c660d3e0c 100644
--- a/ocamldoc/odoc_print.ml
+++ b/ocamldoc/odoc_print.ml
@@ -63,7 +63,7 @@ let simpl_module_type ?code t =
| Some s -> raise (Use_code s)
)
| Types.Mty_functor (id, mt1, mt2) ->
- Types.Mty_functor (id, Misc.may_map iter mt1, iter mt2)
+ Types.Mty_functor (id, Option.map iter mt1, iter mt2)
in
iter t