diff --git a/src/lib/uTop_complete.ml b/src/lib/uTop_complete.ml index 89bb706..d3381ac 100644 --- a/src/lib/uTop_complete.ml +++ b/src/lib/uTop_complete.ml @@ -512,7 +512,7 @@ let find_module = Env.find_module #else let lookup_module id env = let path = Env.lookup_module id env in - (path, Env.find_modtype_expansion path env) + (path, (Env.find_module path env).md_type) let find_module path env = (Env.find_module path env).md_type #endif diff --git a/src/lib/uTop_main.ml b/src/lib/uTop_main.ml index b9548b1..9f60553 100644 --- a/src/lib/uTop_main.ml +++ b/src/lib/uTop_main.ml @@ -1007,7 +1007,7 @@ let typeof sid = let (path, mod_typ) = Env.lookup_module id env in #else let path = Env.lookup_module id env in - let mod_typ = Env.find_modtype_expansion path env in + let mod_typ = (Env.find_module path env).Types.md_type in #endif let id = Ident.create (Path.name path) in Some (Printtyp.tree_of_module id mod_typ Types.Trec_not)