X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2Fbaseuri.log;h=9185479df94fa7d86d21d96c61ddddc502bf8694;hb=1276d3c7b85f4edc049a5d68a6120816fe64c806;hp=c0c2004bc2440db996c8b2b0f601b9b140798b3c;hpb=a7667815758ad8e3cf2a9921c0ccfb9bcb29bb54;p=helm.git

diff --git a/helm/matita/tests/bad_tests/baseuri.log b/helm/matita/tests/bad_tests/baseuri.log
index c0c2004bc..9185479df 100644
--- a/helm/matita/tests/bad_tests/baseuri.log
+++ b/helm/matita/tests/bad_tests/baseuri.log
@@ -1,5 +1,4 @@
 Info:  execution of baseuri.ma started:
-ciao
-Dfffebug: Executing: ``set "baseuri" "cic:/matita/tests/baseuri/"''
+Debug: Executing: ``set "baseuri" "cic:/matita/tests/baseuri/"''
 Debug: Executing: ``set "baseuri" "cic:/matita/tests/baseuri/"''
 Error: Error: Redefinition of 'baseuri' is forbidden.