diff options
Diffstat (limited to 'parsing/printast.ml')
| -rw-r--r-- | parsing/printast.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/parsing/printast.ml b/parsing/printast.ml index d35f74949c..514fbf7795 100644 --- a/parsing/printast.ml +++ b/parsing/printast.ml @@ -510,6 +510,9 @@ and module_type i ppf x = line i ppf "Pmty_with\n"; module_type i ppf mt; list i longident_x_with_constraint ppf l; + | Pmty_typeof m -> + line i ppf "Pmty_typeof\n"; + module_expr i ppf m and signature i ppf x = list i signature_item ppf x |