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 9461d823a..936be064c 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -452,7 +452,7 @@ let search_structure str ~name ~kind ~prefix = List.iter (search_module str ~prefix) ~f: begin fun item -> if match item.pstr_desc with - Pstr_value (_, l) when kind = Pvalue -> + Pstr_value (_, l, _) when kind = Pvalue -> List.iter l ~f: begin fun (pat,_) -> if List.mem name (bound_variables pat) |