- degree-based equivalene for terms

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / static / frees.ma

diff --git a/matita/matita/contribs/lambdadelta/basic_2/static/frees.ma b/matita/matita/contribs/lambdadelta/basic_2/static/frees.ma
index 5911dddfec361647781617494411dd91c5092e6f..de1568f2d84676f1b95658313e0eb2a4788ac2f7 100644 (file)
--- a/matita/matita/contribs/lambdadelta/basic_2/static/frees.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/static/frees.ma
@@ -14,7 +14,7 @@
 
 include "ground_2/relocation/rtmap_sor.ma".
 include "basic_2/notation/relations/freestar_3.ma".
-include "basic_2/grammar/lenv.ma".
+include "basic_2/syntax/lenv.ma".
 
 (* CONTEXT-SENSITIVE FREE VARIABLES *****************************************)