diff options
Diffstat (limited to 'typing/includemod.ml')
| -rw-r--r-- | typing/includemod.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index af0feb2ecf..54aca4a7c4 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -401,9 +401,9 @@ let _ = Env.check_modtype_inclusion := check_modtype_inclusion (* Check that an implementation of a compilation unit meets its interface. *) -let compunit impl_name impl_sig intf_name intf_sig = +let compunit env impl_name impl_sig intf_name intf_sig = try - signatures Env.initial [] Subst.identity impl_sig intf_sig + signatures env [] Subst.identity impl_sig intf_sig with Error reasons -> raise(Error(([], Env.empty,Interface_mismatch(impl_name, intf_name)) :: reasons)) |