X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fmysql_escaping.ma;h=e1698abd2b6186b5d880226b5da1d0f2b2c69d38;hb=12cc5b2b8e7f7bb0b5e315094b008a293a4df6b1;hp=b8a6d9be778ed3801e13908677e62e746a4edecd;hpb=d9394782ed9580f3565eb9b4682d8348aae6349e;p=helm.git

diff --git a/helm/matita/tests/mysql_escaping.ma b/helm/matita/tests/mysql_escaping.ma
index b8a6d9be7..e1698abd2 100644
--- a/helm/matita/tests/mysql_escaping.ma
+++ b/helm/matita/tests/mysql_escaping.ma
@@ -1,4 +1,4 @@
-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/mysql_escaping/".
 
 theorem a' : Prop \to Prop.intros.assumption.qed.