X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Ftests%2Fbad_tests%2Fauto.log;h=0cac60da334790dbad4051c260f1dde434e405a7;hb=be5869cd0bbe16c8a67827723c97d2d4fce4c0bc;hp=a66efc52d9d5dc2263dd51937504f5529628a17f;hpb=945477cf2bd4587727fe492b2c31e10bc20ed906;p=helm.git

diff --git a/helm/matita/tests/bad_tests/auto.log b/helm/matita/tests/bad_tests/auto.log
index a66efc52d..0cac60da3 100644
--- a/helm/matita/tests/bad_tests/auto.log
+++ b/helm/matita/tests/bad_tests/auto.log
@@ -1,6 +1,6 @@
 Info:  execution of auto.ma started:
 Debug: Executing: ``set "baseuri" "cic:/matita/tests/auto/"''
-Debug: Executing: ``include cic:/Coq''
+Debug: Executing: ``include cic:/matita/legacy/coq''
 Debug: Executing: ``Theorem a: @[\forall ((x): (@[nat])).(\forall ((y) ...''
 WE HAVE NO UNIVERSE FILE FOR cic:/Coq/Init/Datatypes/nat.ind
 WE HAVE NO UNIVERSE FILE FOR cic:/Coq/Init/Logic/eq.ind