diff options
Diffstat (limited to 'typing/typedtreeIter.ml')
| -rw-r--r-- | typing/typedtreeIter.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/typedtreeIter.ml b/typing/typedtreeIter.ml index 9be5ed9b1..c0d61297d 100644 --- a/typing/typedtreeIter.ml +++ b/typing/typedtreeIter.ml @@ -381,6 +381,7 @@ module MakeIterator(Iter : IteratorArgument) : sig begin match mty.mty_desc with Tmty_ident (path, _) -> () + | Tmty_alias (path, _) -> () | Tmty_signature sg -> iter_signature sg | Tmty_functor (id, _, mtype1, mtype2) -> Misc.may iter_module_type mtype1; iter_module_type mtype2 |