diff options
Diffstat (limited to 'typing/typedtree.mli')
| -rw-r--r-- | typing/typedtree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typedtree.mli b/typing/typedtree.mli index 81242993d9..767675e342 100644 --- a/typing/typedtree.mli +++ b/typing/typedtree.mli @@ -317,7 +317,7 @@ and type_kind = Ttype_abstract | Ttype_variant of (Ident.t * string loc * core_type list * Location.t) list | Ttype_record of - (Ident.t * string loc * mutable_flag * core_type * Location.t) list + (Ident.t * string loc * mutable_flag * focus_flag * core_type * Location.t) list and exception_declaration = { exn_params : core_type list; |