X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2F.depend;h=8f040e5c7d70770fa68196d7dc40f4b6c3f62f67;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=79b43d4b7a4c4d0a7168ab1e0368c332e1ab022d;hpb=ceb977d9f052e99b0e473c5484578eaaf307a4f6;p=helm.git

diff --git a/helm/matita/tests/bad_tests/.depend b/helm/matita/tests/bad_tests/.depend
index 79b43d4b7..8f040e5c7 100644
--- 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