reductions rules and one lemma

[helm.git] / matita / matita / lib / lambda-delta / substitution / subst.ma

diff --git a/matita/matita/lib/lambda-delta/substitution/subst.ma b/matita/matita/lib/lambda-delta/substitution/subst.ma
index 5989693c5059a987e6e77a8a0c0b0fee9d4c8d71..a9732529ddcc0bb4f1f34ceef5fffc508303f5b6 100644 (file)
--- a/matita/matita/lib/lambda-delta/substitution/subst.ma
+++ b/matita/matita/lib/lambda-delta/substitution/subst.ma
@@ -9,7 +9,7 @@
      \ /
       V_______________________________________________________________ *)
 
-include "lambda-delta/language/lenv.ma".
+include "lambda-delta/syntax/lenv.ma".
 include "lambda-delta/substitution/lift.ma".
 
 (* TELESCOPIC SUBSTITUTION **************************************************)