X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Fgeneric_iter_p.ma;h=5f15bddc93e86a452497614bae6fc236d1ebf9a7;hb=c445ba5534cccde19016c92660ab52777af221c0;hp=f89c32f870c6f4dfe26fd4406ce8a7079a3ea39f;hpb=5e50ef5a9b00a18778c0eb728f7fc909c0b0f729;p=helm.git

diff --git a/helm/software/matita/library/nat/generic_iter_p.ma b/helm/software/matita/library/nat/generic_iter_p.ma
index f89c32f87..5f15bddc9 100644
--- a/helm/software/matita/library/nat/generic_iter_p.ma
+++ b/helm/software/matita/library/nat/generic_iter_p.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/generic_iter_p".
-
 include "nat/div_and_mod_diseq.ma".
 include "nat/primes.ma".
 include "nat/ord.ma".