summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorwiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com>2023-01-23 09:05:44 +0100
committerGitHub <noreply@github.com>2023-01-23 09:05:44 +0100
commitfdcbdce2cd4a369251b6ab00af6697e6e40c9e2a (patch)
treeb264748a71ea95c97b6a149e1e87cc28dcf89bc2 /.depend
parentf1550145d4ebe8ee22853d13f97fca288aaef51f (diff)
downloadocaml-fdcbdce2cd4a369251b6ab00af6697e6e40c9e2a.tar.gz
toplevel: show hints for the "undefined global" error (#10647)
Diffstat (limited to '.depend')
-rw-r--r--.depend2
1 files changed, 2 insertions, 0 deletions
diff --git a/.depend b/.depend
index 6f49bd4755..422aab3479 100644
--- a/.depend
+++ b/.depend
@@ -6305,6 +6305,7 @@ toplevel/genprintval.cmi : \
typing/env.cmi
toplevel/topcommon.cmo : \
typing/typedtree.cmi \
+ bytecomp/symtable.cmi \
parsing/printast.cmi \
typing/predef.cmi \
parsing/pprintast.cmi \
@@ -6332,6 +6333,7 @@ toplevel/topcommon.cmo : \
toplevel/topcommon.cmi
toplevel/topcommon.cmx : \
typing/typedtree.cmx \
+ bytecomp/symtable.cmx \
parsing/printast.cmx \
typing/predef.cmx \
parsing/pprintast.cmx \