diff options
Diffstat (limited to 'parsing/parsetree.mli')
| -rw-r--r-- | parsing/parsetree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/parsetree.mli b/parsing/parsetree.mli index d2ca899c9e..33a0e655b2 100644 --- a/parsing/parsetree.mli +++ b/parsing/parsetree.mli @@ -133,7 +133,7 @@ and type_kind = | Ptype_variant of (string * core_type list * Location.t) list * private_flag | Ptype_record of (string * mutable_flag * core_type * Location.t) list * private_flag - | Ptype_fixed + | Ptype_private and exception_declaration = core_type list |