diff options
| author | Dana N. Xu <na.xu@inria.fr> | 2011-02-11 19:44:21 +0000 |
|---|---|---|
| committer | Dana N. Xu <na.xu@inria.fr> | 2011-02-11 19:44:21 +0000 |
| commit | 735520645b0081b7423b4c7ca664404558dbd634 (patch) | |
| tree | 8f4cf738e0772b13a9db7ad8d7a342a59fe146c8 | |
| parent | e3d2e75374c4a864cf5df1784223a23e42d29600 (diff) | |
| download | ocaml-735520645b0081b7423b4c7ca664404558dbd634.tar.gz | |
otherlib updated
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/contracts@10948 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 65b0d5dbb5..ad3c2f9d3a 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -815,8 +815,11 @@ and search_pos_expr ~pos exp = search_pos_module_expr modexp ~pos; search_pos_expr exp ~pos | Texp_contract (c,e, _, _) -> search_pos_expr e ~pos - | Texp_bad (_) -> () - | Texp_unr (_) -> () + | Texp_bad _ + | Texp_unr _ + | Texp_raise _ + | Texp_Lambda _ + | Texp_App _ | Texp_local_contract _ -> () | Texp_assertfalse -> () | Texp_assert exp -> search_pos_expr exp ~pos |