X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fgrammar%2Fcl_weight.ma;h=aa20d64db45300fba99e5c01762adbf50f8d8bce;hb=06d5ff2316426acfb16a9cc9784d40ce19351771;hp=1188e613c4b8766242eb94456273d28531503a23;hpb=29973426e0227ee48368d1c24dc0c17bf2baef77;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma b/matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma
index 1188e613c..aa20d64db 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/grammar/cl_weight.ma
@@ -13,9 +13,8 @@
 (**************************************************************************)
 
 include "basic_2/notation/functions/weight_3.ma".
-include "basic_2/grammar/genv.ma". (**) (* including genv after lenv shows a disambiguation bug: only the last interpretation is considered *)
 include "basic_2/grammar/lenv_weight.ma".
-include "basic_2/grammar/cl_shift.ma".
+include "basic_2/grammar/genv.ma".
 
 (* WEIGHT OF A CLOSURE ******************************************************)