diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchid.ml')
| -rw-r--r-- | otherlibs/labltk/browser/searchid.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/searchid.ml b/otherlibs/labltk/browser/searchid.ml index 01a2be2c8..206b735c2 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -228,9 +228,9 @@ let rec search_type_in_signature t ~sign ~prefix ~mode = end || begin match td.type_kind with Type_abstract -> false - | Type_variant(l, priv) -> + | Type_variant l -> List.exists l ~f:(fun (_, l) -> List.exists l ~f:matches) - | Type_record(l, rep, priv) -> + | Type_record(l, rep) -> List.exists l ~f:(fun (_, _, t) -> matches t) end then [lid_of_id id, Ptype] else [] |