diff options
Diffstat (limited to 'parsing/pprintast.mli')
-rw-r--r-- | parsing/pprintast.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/pprintast.mli b/parsing/pprintast.mli index fa7343390d..1d70abf460 100644 --- a/parsing/pprintast.mli +++ b/parsing/pprintast.mli @@ -23,8 +23,7 @@ class printer : Asttypes.rec_flag * (Parsetree.pattern * Parsetree.expression) list -> unit method case_list : - Format.formatter -> - (Parsetree.pattern * Parsetree.expression) list -> unit + Format.formatter -> Parsetree.case list -> unit method class_expr : Format.formatter -> Parsetree.class_expr -> unit method class_field : Format.formatter -> Parsetree.class_field -> unit method class_params_def : |