X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda_delta%2Fbasic_2%2Fequivalence%2Fcpcs_ltpss.ma;h=6dc6714a9c5348e3b6b5a36877573440c814f703;hb=fde3b3d2e6cc48f6c9880136b1a0d565e2c78c1f;hp=1bec6e57dd36bbd97ff6393fe3643a6d2b57b3c6;hpb=5b28867e30a9cada823ad86ae91d39b94648940a;p=helm.git

diff --git a/matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma b/matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma
index 1bec6e57d..6dc6714a9 100644
--- a/matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma
+++ b/matita/matita/contribs/lambda_delta/basic_2/equivalence/cpcs_ltpss.ma
@@ -12,7 +12,6 @@
 (*                                                                        *)
 (**************************************************************************)
 
-include "basic_2/unfold/ltpss_ltpss.ma".
 include "basic_2/equivalence/cpcs_cpcs.ma".
 
 (* CONTEXT-SENSITIVE PARALLEL EQUIVALENCE ON TERMS **************************)