...

[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 7279fe8c04bad616587f9e57e970d551e8248a6d..de39589073d51967d81528130c9afa59c4e858c4 100644 (file)
--- 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 ≝ ℚ × (ℚ × ℚ).