diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index 5f396e784..48bfe9f5b 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -572,6 +572,7 @@ and module_type i ppf x = let i = i+1 in match x.pmty_desc with | Pmty_ident li -> line i ppf "Pmty_ident %a\n" fmt_longident_loc li; + | Pmty_alias li -> line i ppf "Pmty_alias %a\n" fmt_longident_loc li; | Pmty_signature (s) -> line i ppf "Pmty_signature\n"; signature i ppf s; |