- second precommit for rtmap

[helm.git] / matita / matita / contribs / lambdadelta / ground_2 / relocation / rtmap_isid.ma

diff --git a/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma b/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma
index 357f0fd2026cb6447206f5758f95f130851e7192..cfe2b37717e586fb7298d4492278f71044127973 100644 (file)
--- a/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma
+++ b/matita/matita/contribs/lambdadelta/ground_2/relocation/rtmap_isid.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "ground_2/notation/relations/isidentity_1.ma".
-include "ground_2/relocation/rtmap_eq.ma".
+include "ground_2/relocation/rtmap_minus.ma".
 
 (* RELOCATION MAP ***********************************************************)