From fdcbdce2cd4a369251b6ab00af6697e6e40c9e2a Mon Sep 17 00:00:00 2001
From: wiktorkuchta <35867657+wiktorkuchta@users.noreply.github.com>
Date: Mon, 23 Jan 2023 09:05:44 +0100
Subject: toplevel: show hints for the "undefined global" error (#10647)

---
 .depend | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.depend')

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 \
-- 
cgit v1.2.1