summaryrefslogtreecommitdiff
path: root/tools/depend.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-03-04 16:36:32 +0000
committerAlain Frisch <alain@frisch.fr>2013-03-04 16:36:32 +0000
commita5059464fee285ba0b73253ed873c5df92a633b2 (patch)
tree5953fd0a5a8bad559fa0de2f6e8abc58557ac9da /tools/depend.ml
parent46c790a6639e4fecfe9725d2f1cae43d202370cc (diff)
downloadocaml-a5059464fee285ba0b73253ed873c5df92a633b2.tar.gz
Attributes on open/include in signatures.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13343 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/depend.ml')
-rw-r--r--tools/depend.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/depend.ml b/tools/depend.ml
index 9e3d89d341..3c1f16df9d 100644
--- a/tools/depend.ml
+++ b/tools/depend.ml
@@ -235,9 +235,9 @@ and add_sig_item bv item =
| Pmodtype_manifest mty -> add_modtype bv mty
end;
bv
- | Psig_open lid ->
+ | Psig_open (lid, _) ->
addmodule bv lid; bv
- | Psig_include mty ->
+ | Psig_include (mty, _) ->
add_modtype bv mty; bv
| Psig_class cdl ->
List.iter (add_class_description bv) cdl; bv