summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_print.ml
diff options
context:
space:
mode:
authorLeo White <lpw25@cl.cam.ac.uk>2016-07-21 15:32:58 +0100
committerLeo White <lpw25@cl.cam.ac.uk>2016-07-28 10:13:32 +0100
commitcaadb9de8aeec5edd06ea0699aa56422cec6ff0e (patch)
tree8eeb92cbbcc20035e02fdc2fbdf09c9cfd3fa705 /ocamldoc/odoc_print.ml
parentd894ba1bd4f58be6d6048a809713500ab1def675 (diff)
downloadocaml-caadb9de8aeec5edd06ea0699aa56422cec6ff0e.tar.gz
Allow more module aliases in strengthening
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 4e07386ee1..c07e7841f6 100644
--- a/ocamldoc/odoc_print.ml
+++ b/ocamldoc/odoc_print.ml
@@ -54,7 +54,7 @@ let simpl_module_type ?code t =
let rec iter t =
match t with
Types.Mty_ident _
- | Types.Mty_alias _ -> t
+ | Types.Mty_alias(_, _) -> t
| Types.Mty_signature _ ->
(
match code with