diff options
Diffstat (limited to 'typing/typedtree.ml')
| -rw-r--r-- | typing/typedtree.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typedtree.ml b/typing/typedtree.ml index fda05b0417..8eb4119fda 100644 --- a/typing/typedtree.ml +++ b/typing/typedtree.ml @@ -318,7 +318,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; |