diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchid.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index ab66f0f030..9f112efe4e 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -237,7 +237,7 @@ let rec search_type_in_signature t ~sign ~prefix ~mode = match r with None -> false | Some x -> matches x end | Type_record(l, rep) -> - List.exists l ~f:(fun (_, _, t) -> matches t) + List.exists l ~f:(fun (_, _, _, t) -> matches t) end then [lid_of_id id, Ptype] else [] | Sig_exception (id, l) -> |