diff options
Diffstat (limited to 'otherlibs/labltk/browser')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index f6fb50051b..78087c80d9 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -693,13 +693,6 @@ and search_pos_class_structure ~pos cls = | Cf_val (_, _, Some exp, _) -> search_pos_expr exp ~pos | Cf_val _ -> () | Cf_meth (_, exp) -> search_pos_expr exp ~pos - | Cf_let (_, pel, iel) -> - List.iter pel ~f: - begin fun (pat, exp) -> - search_pos_pat pat ~pos ~env:exp.exp_env; - search_pos_expr exp ~pos - end; - List.iter iel ~f:(fun (_,exp) -> search_pos_expr exp ~pos) | Cf_init exp -> search_pos_expr exp ~pos end |