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

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma
index 7165feaee..93e837f9e 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/fpbu.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "basic_2/notation/relations/btpredproper_8.ma".
-include "basic_2/substitution/lleq.ma".
+include "basic_2/relocation/lleq.ma".
 include "basic_2/computation/fpbs.ma".
 
 (* UNITARY "BIG TREE" PROPER PARALLEL COMPUTATION FOR CLOSURES **************)