summaryrefslogtreecommitdiff
path: root/toplevel/topdirs.ml
diff options
context:
space:
mode:
authorNicolas Chataing <nicolas.chataing@gmail.com>2021-07-05 11:58:56 +0200
committerNicolas Chataing <nicolas.chataing@gmail.com>2021-07-05 11:58:56 +0200
commit679528770f1d604dac043f3073ff30461fb383a2 (patch)
tree59875b39de3fd87c7550bc7adf4ff3dfccaee786 /toplevel/topdirs.ml
parenta37a7e2d874015f24709c6ea22da64c75b260da3 (diff)
downloadocaml-679528770f1d604dac043f3073ff30461fb383a2.tar.gz
Move function from Types to Btype
Diffstat (limited to 'toplevel/topdirs.ml')
-rw-r--r--toplevel/topdirs.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml
index 2e487ee21a..30f4716110 100644
--- a/toplevel/topdirs.ml
+++ b/toplevel/topdirs.ml
@@ -454,7 +454,7 @@ let () =
let desc = Env.lookup_constructor ~loc Env.Positive lid env in
if is_exception_constructor env desc.cstr_res then
raise Not_found;
- let path = cstr_type_path desc in
+ let path = Btype.cstr_type_path desc in
let type_decl = Env.find_type path env in
if is_extension_constructor desc.cstr_tag then
let ret_type =