diff options
Diffstat (limited to 'parsing/parsetree.mli')
-rw-r--r-- | parsing/parsetree.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index 541fd231a9..479a34836d 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -132,6 +132,7 @@ and type_kind = Ptype_abstract | Ptype_variant of (string * core_type list) list | Ptype_record of (string * mutable_flag * core_type) list + | Ptype_private of type_kind and exception_declaration = core_type list |