baseuri of coq.ma fixed

[helm.git] / helm / matita / tests / bad_tests / auto.log

diff --git a/helm/matita/tests/bad_tests/auto.log b/helm/matita/tests/bad_tests/auto.log
index a66efc52d9d5dc2263dd51937504f5529628a17f..0cac60da334790dbad4051c260f1dde434e405a7 100644 (file)
--- a/helm/matita/tests/bad_tests/auto.log
+++ b/helm/matita/tests/bad_tests/auto.log
@@ -1,6 +1,6 @@
 \e[0;32mInfo:  \e[0mexecution of auto.ma started:
 \e[0;34mDebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/auto/"''
-\e[0;34mDebug: \e[0mExecuting: ``include cic:/Coq''
+\e[0;34mDebug: \e[0mExecuting: ``include cic:/matita/legacy/coq''
 \e[0;34mDebug: \e[0mExecuting: ``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