X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama_didactic%2Fex_seq.ma;h=fcefda2448b1537a81b0c86e9a90f82127f364ef;hb=3f5a0152427fd9a89e7239befd259d27b97aaef5;hp=61952d1b096636c51d30ea702971f06d2220a36e;hpb=fd4d7813792de2cd5999d444c14f7cd72e2f3ce9;p=helm.git

diff --git a/helm/software/matita/dama_didactic/ex_seq.ma b/helm/software/matita/dama_didactic/ex_seq.ma
index 61952d1b0..fcefda244 100644
--- a/helm/software/matita/dama_didactic/ex_seq.ma
+++ b/helm/software/matita/dama_didactic/ex_seq.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/didactic/ex_seq".
+
 
 include "sequences.ma".