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

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