.ma inclusions corrected/minimized

[helm.git] / helm / matita / library / nat / gcd.ma

diff --git a/helm/matita/library/nat/gcd.ma b/helm/matita/library/nat/gcd.ma
index 921d8853e87a6cf03fee66f79bdfb4f6a1e0bfc2..587314315268fc875ab715ab21ac83fd694c1613 100644 (file)
--- a/helm/matita/library/nat/gcd.ma
+++ b/helm/matita/library/nat/gcd.ma
@@ -15,7 +15,6 @@
 set "baseuri" "cic:/matita/nat/gcd".
 
 include "nat/primes.ma".
-include "higher_order_defs/functions.ma".
 
 let rec gcd_aux p m n: nat \def
 match divides_b n m with