X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fdynamic%2Fnta_cpms.ma;fp=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbasic_2%2Fdynamic%2Fnta_cpms.ma;h=afe3079de883b9571dee9197fe8183e6b0858332;hb=0fea4ed429678c3293027cfe76fdbe15cfa331cb;hp=af4beb4c336d2f84d31bb959dee4b4a7fb757a04;hpb=bac74b5cff042d37e1abc9c961a6c41094b8a294;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma b/matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma
index af4beb4c3..afe3079de 100644
--- a/matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma
+++ b/matita/matita/contribs/lambdadelta/basic_2/dynamic/nta_cpms.ma
@@ -13,7 +13,6 @@
 (**************************************************************************)
 
 include "basic_2/rt_computation/cprs_cprs.ma".
-include "basic_2/rt_computation/lprs_cpms.ma".
 include "basic_2/dynamic/cnv_aaa.ma".
 include "basic_2/dynamic/nta.ma".