diff options
author | Alain Frisch <alain@frisch.fr> | 2013-04-18 13:14:53 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-04-18 13:14:53 +0000 |
commit | 67912da3462a0a837bc9efc2162e927499c3b143 (patch) | |
tree | 6fa978754ad452acb7dac13fac80824da01f1804 /otherlibs/labltk/browser/searchid.ml | |
parent | 519ac7daca361804c1334e5c70d93199c3185d04 (diff) |
Allow abstract module declaration in structures to make the syntax and Parsetree more uniform.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13556 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 bc0ed437e..69338826f 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 pcd when kind = Pconstructor -> name = pcd.pcd_name.txt | Pstr_module x when kind = Pmodule -> name = x.pmb_name.txt - | Pstr_modtype x when kind = Pmodtype -> name = x.pmtb_name.txt + | Pstr_modtype x when kind = Pmodtype -> name = x.pmtd_name.txt | Pstr_class l when kind = Pclass || kind = Ptype || kind = Pcltype -> List.iter l ~f: begin fun c -> |