X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=fcf51b5d05f46ffc252d9b8eaad6a8c3ddb8d6b1;hb=e17c4da82bd52712f03c112660c52eb8f1783843;hp=7c42dc8182e05e3c06fd6f37798224804804d5dc;hpb=aa067dece23a0e3dff167f7e1c6d35f067451ec2;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 7c42dc818..fcf51b5d0 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -203,7 +203,7 @@ TEST_DIRS = 			\
 #	library_auto 			
 TEST_DIRS_OPT = 		\
 	$(TEST_DIRS)            \
-	contribs/LAMBDA-TYPES 	\
+#	contribs/LAMBDA-TYPES 	\
 	$(NULL)
 
 .PHONY: tests tests.opt cleantests cleantests.opt