X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama_didactic%2Freals.ma;h=7d8a068c8e4c48a3d09a7a38286802e789a73cf2;hb=0e9753cbccef485911e2c2de1b4cdcae592906b9;hp=966747c766fe81cc1f1baf76295d008bdb56fd55;hpb=fd4d7813792de2cd5999d444c14f7cd72e2f3ce9;p=helm.git

diff --git a/helm/software/matita/dama_didactic/reals.ma b/helm/software/matita/dama_didactic/reals.ma
index 966747c76..7d8a068c8 100644
--- a/helm/software/matita/dama_didactic/reals.ma
+++ b/helm/software/matita/dama_didactic/reals.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/didactic/reals".
+
 
 include "nat/plus.ma".