X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=28cc4c24f64f5823528d1d4cbaf3adbda0e0605a;hb=d7f32114f3806b51c2ee483dcb5a86e08d086a72;hp=6bdba1baff31adaccce39610dac044f0d3499c32;hpb=54ddd51bfebe9afc46db2eaa1a20ae971a467fd7;p=helm.git

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