summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorhhugo <hugo.heuzard@gmail.com>2023-03-07 21:26:28 +0900
committerGitHub <noreply@github.com>2023-03-07 13:26:28 +0100
commitbcffd84a9b0e38a3ca02a1ffd2de54541f3bcb9f (patch)
treed60bf45367559ee22f3847b0ac82803db6ca5df6 /.depend
parentdcf9181b56f1b08989b878110114dbe184576495 (diff)
downloadocaml-bcffd84a9b0e38a3ca02a1ffd2de54541f3bcb9f.tar.gz
Small refactoring for null terminated values (#12086)
Diffstat (limited to '.depend')
-rw-r--r--.depend2
1 files changed, 2 insertions, 0 deletions
diff --git a/.depend b/.depend
index 2416343f7f..5439e23dae 100644
--- a/.depend
+++ b/.depend
@@ -6920,6 +6920,7 @@ tools/dumpobj.cmo : \
bytecomp/symtable.cmi \
tools/opnames.cmi \
bytecomp/opcodes.cmi \
+ utils/misc.cmi \
parsing/location.cmi \
bytecomp/instruct.cmi \
typing/ident.cmi \
@@ -6931,6 +6932,7 @@ tools/dumpobj.cmx : \
bytecomp/symtable.cmx \
tools/opnames.cmx \
bytecomp/opcodes.cmx \
+ utils/misc.cmx \
parsing/location.cmx \
bytecomp/instruct.cmx \
typing/ident.cmx \