ocaml 3.09 transition

[helm.git] / helm / matita / tests / bad_tests / .depend

diff --git a/helm/matita/tests/bad_tests/.depend b/helm/matita/tests/bad_tests/.depend
index 79b43d4b7a4c4d0a7168ab1e0368c332e1ab022d..8f040e5c7d70770fa68196d7dc40f4b6c3f62f67 100644 (file)
--- a/helm/matita/tests/bad_tests/.depend
+++ b/helm/matita/tests/bad_tests/.depend
@@ -2,3 +2,5 @@
 auto.mo: /home/sacerdot/.matita/xml/matita/tests/auto.moo
 /home/sacerdot/.matita/xml/matita/tests/baseuri.moo: baseuri.ma
 baseuri.mo: /home/sacerdot/.matita/xml/matita/tests/baseuri.moo
+/home/sacerdot/.matita/xml/matita/tests/test2.moo: test2.ma /home/sacerdot/miohelm/matita/coq.moo
+test2.mo: /home/sacerdot/.matita/xml/matita/tests/test2.moo