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=5ea90cbbb01fe0bf3b77221d9e6c87002982621f;hp=1bec6e57dd36bbd97ff6393fe3643a6d2b57b3c6;hpb=5ac2dc4e01aca542ddd13c02b304c646d8df9799;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 **************************)