summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/browser/searchid.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-04-18 13:14:53 +0000
committerAlain Frisch <alain@frisch.fr>2013-04-18 13:14:53 +0000
commit67912da3462a0a837bc9efc2162e927499c3b143 (patch)
tree6fa978754ad452acb7dac13fac80824da01f1804 /otherlibs/labltk/browser/searchid.ml
parent519ac7daca361804c1334e5c70d93199c3185d04 (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.ml2
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 ->