summaryrefslogtreecommitdiff
path: root/.depend
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2007-10-08 12:30:31 +0000
committerDamien Doligez <damien.doligez-inria.fr>2007-10-08 12:30:31 +0000
commit773ff5b8837f1fe12f4012b5c68f154a30cbcf8e (patch)
treee195205ec1ff223d6cacf1249ad4dacbda2fafab /.depend
parent04db6e0e820c36fe7ba57997b84c7038610b54fc (diff)
downloadocaml-773ff5b8837f1fe12f4012b5c68f154a30cbcf8e.tar.gz
probleme avec les .depend
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to '.depend')
-rw-r--r--.depend2
1 files changed, 0 insertions, 2 deletions
diff --git a/.depend b/.depend
index 658a3f5c3c..a720442814 100644
--- a/.depend
+++ b/.depend
@@ -184,8 +184,6 @@ typing/subst.cmo: typing/types.cmi utils/tbl.cmi typing/path.cmi \
utils/misc.cmi typing/ident.cmi typing/btype.cmi typing/subst.cmi
typing/subst.cmx: typing/types.cmx utils/tbl.cmx typing/path.cmx \
utils/misc.cmx typing/ident.cmx typing/btype.cmx typing/subst.cmi
-typing/type_format.cmo: typing/predef.cmi
-typing/type_format.cmx: typing/predef.cmx
typing/typeclass.cmo: utils/warnings.cmi typing/typetexp.cmi typing/types.cmi \
typing/typedtree.cmi typing/typedecl.cmi typing/typecore.cmi \
typing/subst.cmi typing/stypes.cmi typing/printtyp.cmi typing/predef.cmi \