diff options
Diffstat (limited to 'library/declaremods.ml')
| -rw-r--r-- | library/declaremods.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/declaremods.ml b/library/declaremods.ml index 5c245064f..68cb81f1a 100644 --- a/library/declaremods.ml +++ b/library/declaremods.ml @@ -382,7 +382,7 @@ let rec replace_module_object idl mp0 objs0 mp1 objs1 = let type_of_mod mp env = function |true -> (Environ.lookup_module mp env).mod_type - |false -> (Environ.lookup_modtype mp env).typ_expr + |false -> (Environ.lookup_modtype mp env).mod_type let rec get_module_path = function |MEident mp -> mp @@ -527,7 +527,7 @@ let build_subtypes interp_modast env mp args mtys = let inl = inl2intopt ann in let mte,_ = interp_modast env ModType m in let mtb = Mod_typing.translate_modtype env mp inl ([],mte) in - { mtb with typ_expr = mk_funct_type env args mtb.typ_expr }) + { mtb with mod_type = mk_funct_type env args mtb.mod_type }) mtys |