X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Finversion.ma;h=c76851f59fa8dd1240d87fdb04d8072a5544ba5f;hb=6b5e1d495c61f459738187e8d71efadb162abdbe;hp=4ea9e2deb76d59940a50eab535d75cb202228818;hpb=10aa2e121a0c9659b18b011dc9595cf6256560f4;p=helm.git

diff --git a/helm/matita/tests/inversion.ma b/helm/matita/tests/inversion.ma
index 4ea9e2deb..c76851f59 100644
--- a/helm/matita/tests/inversion.ma
+++ b/helm/matita/tests/inversion.ma
@@ -1,4 +1,4 @@
-set "baseuri" "cic:/matita/tests/".
+set "baseuri" "cic:/matita/tests/inversion/".
 
 inductive nat : Set \def
    O : nat