X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Ffpns_fpns.ma;h=728f48df97bc855c2f108f127daf3324674de784;hb=dca4170c5ce5f2cd6be8ae1dc0422bd6a680b43f;hp=deaa7a967ec39570fb0bda6a6adba517641e20be;hpb=62af0cd2bf6623bfeacc7d9436e67c39711648a7;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/fpns_fpns.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/fpns_fpns.ma
index deaa7a967..728f48df9 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/fpns_fpns.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/fpns_fpns.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/relocation/lleq_lleq.ma".
+include "basic_2/substitution/lleq_lleq.ma".
 include "basic_2/computation/lpxs_lpxs.ma".
 include "basic_2/computation/fpns.ma".