diff options
Diffstat (limited to 'typing/printtyped.ml')
| -rw-r--r-- | typing/printtyped.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/printtyped.ml b/typing/printtyped.ml index e7e0d30bb..209121e83 100644 --- a/typing/printtyped.ml +++ b/typing/printtyped.ml @@ -1,4 +1,4 @@ -(***********************************************************************) +2(***********************************************************************) (* *) (* OCaml *) (* *) @@ -557,6 +557,7 @@ and module_type i ppf x = let i = i+1 in match x.mty_desc with | Tmty_ident (li,_) -> line i ppf "Pmty_ident %a\n" fmt_path li; + | Tmty_alias (li,_) -> line i ppf "Pmty_alias %a\n" fmt_path li; | Tmty_signature (s) -> line i ppf "Pmty_signature\n"; signature i ppf s; |