diff options
Diffstat (limited to 'typing/typedtreeIter.ml')
| -rw-r--r-- | typing/typedtreeIter.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/typedtreeIter.ml b/typing/typedtreeIter.ml index 403c67ff97..0463ba2505 100644 --- a/typing/typedtreeIter.ml +++ b/typing/typedtreeIter.ml @@ -177,7 +177,7 @@ module MakeIterator(Iter : IteratorArgument) : sig List.iter iter_core_type cts ) list | Ttype_record list -> - List.iter (fun (s, _, mut, ct, loc) -> + List.iter (fun (s, _, mut, foc, ct, loc) -> iter_core_type ct ) list end; |