renaming in basic_2

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / syntax / bind_weight.ma

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 2dda071d30290e9f4f9b139c2928c5f3e8868370..85277a353b706c3227914fdfcc8f19c76609eec1 100644 (file)
--- 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".