diff options
Diffstat (limited to 'typing/btype.ml')
| -rw-r--r-- | typing/btype.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/btype.ml b/typing/btype.ml index 729ae44cda..0504e7f2df 100644 --- a/typing/btype.ml +++ b/typing/btype.ml @@ -346,7 +346,7 @@ let unmark_type_decl decl = Misc.may unmark_type ret_type_opt) cstrs | Type_record(lbls, rep) -> - List.iter (fun (c, mut, t) -> unmark_type t) lbls + List.iter (fun (c, mut, focus, t) -> unmark_type t) lbls end; begin match decl.type_manifest with None -> () |