- we removed the reduction-related item categorization

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

diff --git a/matita/matita/lib/lambda-delta/substitution/lift.ma b/matita/matita/lib/lambda-delta/substitution/lift.ma
index 6569461718d2e46e81c9f40cd1d34e260203ba5f..6b97f502cea4b1653286f82812009699ad2ffc64 100644 (file)
--- a/matita/matita/lib/lambda-delta/substitution/lift.ma
+++ b/matita/matita/lib/lambda-delta/substitution/lift.ma
@@ -9,7 +9,7 @@
      \ /
       V_______________________________________________________________ *)
 
-include "lambda-delta/language/term.ma".
+include "lambda-delta/syntax/term.ma".
 
 (* RELOCATION ***************************************************************)