X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fdama%2Fsandwich.ma;h=037d3d7dcb416c063b79d5136410ae0b3c900c33;hb=954ed2eaf305a60d7e046206472bc0397a421ad2;hp=21499ee7230304e0f1188d36dace724e839fb6df;hpb=43b9e1971e142d55eea8ceb57d8e6ee6d83d3791;p=helm.git

diff --git a/helm/software/matita/dama/sandwich.ma b/helm/software/matita/dama/sandwich.ma
index 21499ee72..037d3d7dc 100644
--- a/helm/software/matita/dama/sandwich.ma
+++ b/helm/software/matita/dama/sandwich.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/sandwich/".
+
 
 include "nat/plus.ma".
 include "nat/orders.ma".