X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Fcprs_lfpr.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fcomputation%2Fcprs_lfpr.ma;h=799ec7bc62fd2e3fa960e10ef7c5c9ee3595acd6;hb=0fc60a39857b0225b4888d5bd991c7790231eb44;hp=1ba4cadd8202a687c7e1968136ce8a013fab3a1f;hpb=9c5e448d33057cb8ce6a02eba2d81a5e043cac24;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfpr.ma b/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfpr.ma
index 1ba4cadd8..799ec7bc6 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfpr.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/computation/cprs_lfpr.ma
@@ -13,7 +13,7 @@
 (**************************************************************************)
 
 include "basic_2/reducibility/ltpr_tps.ma".
-include "basic_2/reducibility/cpr_ltpss.ma".
+include "basic_2/reducibility/cpr_ltpss_sn.ma".
 include "basic_2/reducibility/lfpr.ma".
 include "basic_2/computation/cprs.ma".