diff options
Diffstat (limited to 'tools/depend.ml')
| -rw-r--r-- | tools/depend.ml | 4 |
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 |