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 7f09066d9..6355e34e5 100644 --- a/tools/depend.ml +++ b/tools/depend.ml @@ -291,8 +291,8 @@ and add_struct_item bv item = (fun x -> add_module bv' x.pmb_expr) bindings; bv' - | Pstr_modtype(id, mty) -> - add_modtype bv mty; bv + | Pstr_modtype x -> + add_modtype bv x.pmtb_type; bv | Pstr_open (l, _attrs) -> addmodule bv l; bv | Pstr_class cdl -> |