diff options
Diffstat (limited to 'parsing/depend.ml')
-rw-r--r-- | parsing/depend.ml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/parsing/depend.ml b/parsing/depend.ml index 55b4f410cd..a07cb1dce7 100644 --- a/parsing/depend.ml +++ b/parsing/depend.ml @@ -436,8 +436,11 @@ and add_module_expr bv modl = | Some name -> String.Map.add name bound bv in add_module_expr bv modl - | Pmod_apply(mod1, mod2) -> - add_module_expr bv mod1; add_module_expr bv mod2 + | Pmod_apply (mod1, mod2) -> + add_module_expr bv mod1; + add_module_expr bv mod2 + | Pmod_apply_unit mod1 -> + add_module_expr bv mod1 | Pmod_constraint(modl, mty) -> add_module_expr bv modl; add_modtype bv mty | Pmod_unpack(e) -> |