diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-03-06 10:49:44 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-03-06 10:49:44 +0000 |
| commit | 59bdf321d32e839f73da09462f120785a0595bfe (patch) | |
| tree | 7a9a5d2c2b9abc53e44752eb732e3e22a47269d7 /otherlibs/labltk/browser | |
| parent | a79811afe9fea0abcb71ec9e080aab3cfc2d9741 (diff) | |
Switch Pstr_modtype argument to a record type.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13355 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/browser')
| -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 f17ede690..e35f736aa 100644 --- a/otherlibs/labltk/browser/searchid.ml +++ b/otherlibs/labltk/browser/searchid.ml @@ -469,7 +469,7 @@ let search_structure str ~name ~kind ~prefix = false | Pstr_exception ped when kind = Pconstructor -> name = ped.ped_name.txt | Pstr_module x when kind = Pmodule -> name = x.pmb_name.txt - | Pstr_modtype (s, _) when kind = Pmodtype -> name = s.txt + | Pstr_modtype x when kind = Pmodtype -> name = x.pmtb_name.txt | Pstr_class l when kind = Pclass || kind = Ptype || kind = Pcltype -> List.iter l ~f: begin fun c -> |