summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
Diffstat (limited to '.depend')
-rw-r--r--.depend1
1 files changed, 1 insertions, 0 deletions
diff --git a/.depend b/.depend
index 79d4c29b02..57789239b9 100644
--- a/.depend
+++ b/.depend
@@ -6019,6 +6019,7 @@ driver/compmisc.cmx : \
utils/clflags.cmx \
driver/compmisc.cmi
driver/compmisc.cmi : \
+ utils/load_path.cmi \
typing/env.cmi \
utils/clflags.cmi
driver/errors.cmo : \