fixed deps

[helm.git] / helm / software / matita / library / freescale / extra.ma

diff --git a/helm/software/matita/library/freescale/extra.ma b/helm/software/matita/library/freescale/extra.ma
index cb8cf78dffc1ab9849d3fa3ecc32467afae51e81..94f4a47547eebf1a1048c94474c14f35e4e90625 100644 (file)
--- a/helm/software/matita/library/freescale/extra.ma
+++ b/helm/software/matita/library/freescale/extra.ma
@@ -24,8 +24,6 @@
 (*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
-set "baseuri" "cic:/matita/freescale/extra".
-
 include "nat/div_and_mod.ma".
 include "nat/primes.ma".
 include "list/list.ma".