X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fnat%2Fgcd.ma;h=3db29f622fb95a5e096cb46744928c97bcef9f39;hb=c445ba5534cccde19016c92660ab52777af221c0;hp=0baa86e3c28b43cfcddd5a8e0aa8f8a69af35685;hpb=d74bdbdea0586eaa764c53a22e2c660d5367d0d5;p=helm.git

diff --git a/helm/software/matita/library/nat/gcd.ma b/helm/software/matita/library/nat/gcd.ma
index 0baa86e3c..3db29f622 100644
--- a/helm/software/matita/library/nat/gcd.ma
+++ b/helm/software/matita/library/nat/gcd.ma
@@ -12,8 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/gcd".
-
 include "nat/primes.ma".
 include "nat/lt_arith.ma".