X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fstatic%2Ffrees_drops.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fstatic%2Ffrees_drops.ma;h=47b1eec39bf521620484da8350e588a25f8303a7;hb=7d99a19985ae7ca20845d0a875e32f23ba06e536;hp=681e07d8c701474386cf75c5abb2cea7da2a7155;hpb=da42c465b04bbfc470e73b8060155d1aadd184c5;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma b/matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
index 681e07d8c..47b1eec39 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/frees_drops.ma
@@ -12,7 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "ground_2/relocation/rtmap_coafter.ma".
 include "basic_2/relocation/drops_drops.ma".
 include "basic_2/static/frees.ma".