ocaml 3.09 transition

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

diff --git a/helm/matita/tests/bad_tests/baseuri.log b/helm/matita/tests/bad_tests/baseuri.log
index c0c2004bc2440db996c8b2b0f601b9b140798b3c..9185479df94fa7d86d21d96c61ddddc502bf8694 100644 (file)
--- a/helm/matita/tests/bad_tests/baseuri.log
+++ b/helm/matita/tests/bad_tests/baseuri.log
@@ -1,5 +1,4 @@
 \e[0;32mInfo:  \e[0mexecution of baseuri.ma started:
-ciao
-\e[0;34mDfffebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
+\e[0;34mDebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
 \e[0;34mDebug: \e[0mExecuting: ``set "baseuri" "cic:/matita/tests/baseuri/"''
 \e[0;31mError: \e[0mError: Redefinition of 'baseuri' is forbidden.