dama almost ok

[helm.git] / helm / software / matita / library / dama / nat_ordered_set.ma

diff --git a/helm/software/matita/library/dama/nat_ordered_set.ma b/helm/software/matita/library/dama/nat_ordered_set.ma
index 26e2f0d2953a75ac9e3706babd7ec22a3b4f695d..a6d1ec184759495301b4b6253d4f540338389fea 100644 (file)
--- a/helm/software/matita/library/dama/nat_ordered_set.ma
+++ b/helm/software/matita/library/dama/nat_ordered_set.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "nat/compare.ma".
-include "bishop_set.ma". 
+include "dama/bishop_set.ma". 
 
 definition nat_excess : nat → nat → CProp ≝ λn,m. m<n.