diff options
Diffstat (limited to 'otherlibs/labltk')
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 2ae702adc..cf79d940d 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -819,7 +819,6 @@ and search_pos_expr ~pos exp = search_pos_class_structure ~pos cls | Texp_pack modexp -> search_pos_module_expr modexp ~pos - | _ -> assert false (* TODO ................................... *) end; add_found_str (`Exp(`Expr, exp.exp_type)) ~env:exp.exp_env ~loc:exp.exp_loc end |