X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Frelocation%2Frtmap_isid.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fground_2%2Frelocation%2Frtmap_isid.ma;h=5ad6aa83c32edb6c8c37599dad3974473f5e4f8c;hb=ad3d1cac216cf3882e4adf691b27c00838c6b9b1;hp=cfe2b37717e586fb7298d4492278f71044127973;hpb=b9526dac808d40bf89dc378cf9c5ea0c121526a4;p=helm.git

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 cfe2b3771..5ad6aa83c 100644
--- 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_minus.ma".
+include "ground_2/relocation/rtmap_tls.ma".
 
 (* RELOCATION MAP ***********************************************************)