X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fsyntax%2Fbind_weight.ma;h=85277a353b706c3227914fdfcc8f19c76609eec1;hb=222044da28742b24584549ba86b1805a87def070;hp=2dda071d30290e9f4f9b139c2928c5f3e8868370;hpb=73966e3e9fd17155ca67e6b4a32f52225cea9d3c;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma b/matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma
index 2dda071d3..85277a353 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/syntax/bind_weight.ma
@@ -12,10 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/syntax/term.ma".
-
-(* BINDERS FOR LOCAL ENVIRONMENTS ******************************************)
-
 include "basic_2/syntax/term_weight.ma".
 include "basic_2/syntax/bind.ma".