...

[helm.git] / helm / software / matita / contribs / dama / dama / models / q_bars.ma

diff --git a/helm/software/matita/contribs/dama/dama/models/q_bars.ma b/helm/software/matita/contribs/dama/dama/models/q_bars.ma
index 1d2107b7c934722dc281345fb033a0d226f0059e..f3224e627efb5f35c27a129b0dc88396bfeaa19c 100644 (file)
--- a/helm/software/matita/contribs/dama/dama/models/q_bars.ma
+++ b/helm/software/matita/contribs/dama/dama/models/q_bars.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "nat_ordered_set.ma".
+include "dama/nat_ordered_set.ma".
 include "models/q_support.ma".
 include "models/list_support.ma". 
 include "logic/cprop_connectives.ma".