X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbad_tests%2Fbaseuri.log;h=9185479df94fa7d86d21d96c61ddddc502bf8694;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=c0c2004bc2440db996c8b2b0f601b9b140798b3c;hpb=ceb977d9f052e99b0e473c5484578eaaf307a4f6;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.