summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_print.ml
diff options
context:
space:
mode:
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 aa6dea128..d6b56f395 100644
--- a/ocamldoc/odoc_print.ml
+++ b/ocamldoc/odoc_print.ml
@@ -62,7 +62,7 @@ let simpl_module_type ?code t =
| Some s -> raise (Use_code s)
)
| Types.Mty_functor (id, mt1, mt2) ->
- Types.Mty_functor (id, iter mt1, iter mt2)
+ Types.Mty_functor (id, Misc.may_map iter mt1, iter mt2)
in
iter t