diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-01 15:29:11 +0200 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2022-06-30 17:31:11 +0200 |
commit | 5b26d499d55d232bee90c71c14424d82d5da0035 (patch) | |
tree | edf9531d72e41364a17c84ac49cb0f74d429b6f7 /tools | |
parent | ad2348bdf3a46aa806f9d81816b5d44e4452f8b6 (diff) | |
download | ocaml-5b26d499d55d232bee90c71c14424d82d5da0035.tar.gz |
Provide an interface for the Cmt2annot module
Diffstat (limited to 'tools')
-rw-r--r-- | tools/.depend | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/.depend b/tools/.depend index b1085dbde0..61105c5527 100644 --- a/tools/.depend +++ b/tools/.depend @@ -131,7 +131,7 @@ ocamlcmt.cmo : \ ../typing/envaux.cmi \ ../driver/compmisc.cmi \ ../file_formats/cmt_format.cmi \ - ../typing/cmt2annot.cmo \ + ../typing/cmt2annot.cmi \ ../utils/clflags.cmi \ ../typing/annot.cmi ocamlcmt.cmx : \ |