X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fdama%2Fordered_groups.ma;h=10e8f189ab0d4aeea549902fa4c2671372188f48;hb=72a05c70f5ab9dabb704f1dc334920b10a8f4bb9;hp=a9912d43f55ccb92bd22ecec4c9e3320e68146ef;hpb=ce0d4228b95ea04d5406f1bba53c67af64630d07;p=helm.git

diff --git a/matita/dama/ordered_groups.ma b/matita/dama/ordered_groups.ma
index a9912d43f..10e8f189a 100644
--- a/matita/dama/ordered_groups.ma
+++ b/matita/dama/ordered_groups.ma
@@ -15,7 +15,7 @@
 set "baseuri" "cic:/matita/ordered_groups/".
 
 include "groups.ma".
-include "ordered_sets2.ma".
+include "ordered_sets.ma".
 
 record pre_ordered_abelian_group : Type ≝
  { og_abelian_group:> abelian_group;