"bool.ma" is now always included before "logic.ma", in order to speed up

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

diff --git a/helm/matita/library/nat/compare.ma b/helm/matita/library/nat/compare.ma
index 194b38d84f255e3924a3273919f01bb96d320ca5..852cd7b6551f44091425aebcbac65ae7d314c6fb 100644 (file)
--- a/helm/matita/library/nat/compare.ma
+++ b/helm/matita/library/nat/compare.ma
@@ -14,9 +14,9 @@
 
 set "baseuri" "cic:/matita/nat/compare".
 
-include "nat/orders.ma".
 include "datatypes/bool.ma".
 include "datatypes/compare.ma".
+include "nat/orders.ma".
 
 let rec eqb n m \def 
 match n with