X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Ftests%2Frecord.ma;h=02ef85a0504ddd2c939b2a69ffe752bc544caedd;hb=71590f4a0cb620a5e98fee3e8d65670271234532;hp=61dec1d7e34671c1ca7a1d890b10f789ab43bec0;hpb=522bfe4fd22804ff7fb0013697721504003a6606;p=helm.git

diff --git a/helm/matita/tests/record.ma b/helm/matita/tests/record.ma
index 61dec1d7e..02ef85a05 100644
--- a/helm/matita/tests/record.ma
+++ b/helm/matita/tests/record.ma
@@ -1,3 +1,5 @@
+set "baseuri" "cic:/matita/tests/record/".
+
 record empty : Type \def {}.
 
 inductive True : Prop \def I: True.
@@ -20,4 +22,4 @@ record paperino: Prop \def {
   paolo : Type;
   pippo : paolo \to paolo;
   piero : True
-}.
\ No newline at end of file
+}.