debian package works again

[helm.git] / matita / library / technicalities / setoids.ma

diff --git a/matita/library/technicalities/setoids.ma b/matita/library/technicalities/setoids.ma
index db2502ca9d4f11f7b8733651d3541ca850ef9df3..bf8375ae1b3b71a719ab8d624f942c729b0735d1 100644 (file)
--- a/matita/library/technicalities/setoids.ma
+++ b/matita/library/technicalities/setoids.ma
@@ -18,8 +18,8 @@
 
 
 include "datatypes/constructors.ma".
-include "logic/connectives2.ma".
 include "logic/coimplication.ma".
+include "logic/connectives2.ma".
 
 (* DEFINITIONS OF Relation_Class AND n-ARY Morphism_Theory *)