.ma inclusions corrected/minimized

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

diff --git a/helm/matita/library/nat/factorial.ma b/helm/matita/library/nat/factorial.ma
index 742ca2a3ba517b2b0d7942076a8ee70edb0a35d5..50345ee121e62aca628e4e82b9811e040199d08b 100644 (file)
--- a/helm/matita/library/nat/factorial.ma
+++ b/helm/matita/library/nat/factorial.ma
@@ -14,7 +14,7 @@
 
 set "baseuri" "cic:/matita/nat/factorial".
 
-include "nat/lt_arith.ma".
+include "nat/le_arith.ma".
 
 let rec fact n \def
   match n with