X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fmodels%2Fq_bars.ma;h=de39589073d51967d81528130c9afa59c4e858c4;hb=b12a46d53cf80d40b253ca5dd495397c5c0b4287;hp=7279fe8c04bad616587f9e57e970d551e8248a6d;hpb=8d367045e504f594c280d2c87f906695ef9671ee;p=helm.git

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 7279fe8c0..de3958907 100644
--- a/helm/software/matita/contribs/dama/dama/models/q_bars.ma
+++ b/helm/software/matita/contribs/dama/dama/models/q_bars.ma
@@ -15,7 +15,7 @@
 include "nat_ordered_set.ma".
 include "models/q_support.ma".
 include "models/list_support.ma". 
-include "cprop_connectives.ma". 
+include "logic/cprop_connectives.ma". 
 
 definition bar ≝ ℚ × (ℚ × ℚ).