diff options
Diffstat (limited to 'typing/subst.ml')
| -rw-r--r-- | typing/subst.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/subst.ml b/typing/subst.ml index ce7ec24eda..04532760fe 100644 --- a/typing/subst.ml +++ b/typing/subst.ml @@ -180,7 +180,7 @@ let type_declaration s decl = cstrs) | Type_record(lbls, rep) -> Type_record - (List.map (fun (n, mut, arg) -> (n, mut, typexp s arg)) lbls, + (List.map (fun (n, mut, focus, arg) -> (n, mut, focus, typexp s arg)) lbls, rep) end; type_manifest = |