X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fbaseuri.ma;h=eb4ae6a68b9718b950aa50181c0d97e7b72dd522;hb=3b518dfa49ead4148b3997406da09c4a63c87cb2;hp=3715a268a16bd23f9116642a8ccd3e339437ca88;hpb=d9394782ed9580f3565eb9b4682d8348aae6349e;p=helm.git

diff --git a/helm/matita/tests/baseuri.ma b/helm/matita/tests/baseuri.ma
index 3715a268a..eb4ae6a68 100644
--- 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/".