X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdama%2Fdama%2Fmodels%2Fq_rebase.ma;h=b14f0bd17bd07fd4a115e38c28257f0890c554fc;hb=9bcbaf15316cfb7fbe831af1efb89da954f40b72;hp=f8243d6d1979e68c4b0107d8879a003eb36aadab;hpb=179574c117d34a39cebeaa66673cda83974e135a;p=helm.git

diff --git a/helm/software/matita/contribs/dama/dama/models/q_rebase.ma b/helm/software/matita/contribs/dama/dama/models/q_rebase.ma
index f8243d6d1..b14f0bd17 100644
--- a/helm/software/matita/contribs/dama/dama/models/q_rebase.ma
+++ b/helm/software/matita/contribs/dama/dama/models/q_rebase.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "russell_support.ma".
+include "dama/russell_support.ma".
 include "models/q_copy.ma".
 (*
 definition rebase_spec ≝