summaryrefslogtreecommitdiffstats
path: root/ocamldoc/odoc_env.ml
diff options
context:
space:
mode:
Diffstat (limited to 'ocamldoc/odoc_env.ml')
-rw-r--r--ocamldoc/odoc_env.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_env.ml b/ocamldoc/odoc_env.ml
index d55ace84c..02d1e3a21 100644
--- a/ocamldoc/odoc_env.ml
+++ b/ocamldoc/odoc_env.ml
@@ -220,6 +220,7 @@ let subst_module_type env t =
Types.Mty_ident p ->
let new_p = Odoc_name.to_path (full_module_type_name env (Odoc_name.from_path p)) in
Types.Mty_ident new_p
+ | Types.Mty_alias _
| Types.Mty_signature _ ->
t
| Types.Mty_functor (id, mt1, mt2) ->