X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Ffpns.ma;h=dce46b06515ebff6cade2edc8a08e20e66d59c61;hb=8a5a354c9ac3ef20ca01dbeb61f6b99902f172a7;hp=6e68fef145b44ec2d7d833ca5b9c43062dadb85f;hpb=4e2cde56d7a4c30c1fa07d58f76beab22a174151;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma
index 6e68fef14..dce46b065 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/fpns.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "basic_2/notation/relations/btpredsnstar_8.ma".
-include "basic_2/substitution/lleq.ma".
+include "basic_2/relocation/lleq.ma".
 include "basic_2/computation/lpxs.ma".
 
 (* PARALLEL COMPUTATION FOR "BIG TREE" NORMAL FORMS *************************)