merged cic_notation with matita: good luck!

[helm.git] / helm / matita / tests / baseuri.ma

diff --git a/helm/matita/tests/baseuri.ma b/helm/matita/tests/baseuri.ma
index 3715a268a16bd23f9116642a8ccd3e339437ca88..eb4ae6a68b9718b950aa50181c0d97e7b72dd522 100644 (file)
--- a/helm/matita/tests/baseuri.ma
+++ b/helm/matita/tests/baseuri.ma
@@ -1,2 +1,2 @@
-set "baseuri" "cic:/matita/tests/".
-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/baseuri/".
+set "baseuri" "cic:/matita/tests/baseuri/".