diff options
Diffstat (limited to 'typing/typedtreeMap.ml')
| -rw-r--r-- | typing/typedtreeMap.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/typedtreeMap.ml b/typing/typedtreeMap.ml index 663eea176a..a5d83ed6c2 100644 --- a/typing/typedtreeMap.ml +++ b/typing/typedtreeMap.ml @@ -154,8 +154,8 @@ module MakeMap(Map : MapArgument) = struct Ttype_variant list | Ttype_record list -> let list = - List.map (fun (s, name, mut, ct, loc) -> - (s, name, mut, map_core_type ct, loc) + List.map (fun (s, name, mut, foc, ct, loc) -> + (s, name, mut, foc, map_core_type ct, loc) ) list in Ttype_record list in |