From df9f7c2c1fb5afb50726a17a7171295a9defd228 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Oct 2006 13:09:35 +0000
Subject: [PATCH] I do not understand at all why Enrico removed the contribs
 from the bench!

---
 helm/software/matita/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index 896529cf4..6b93a0f6e 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -203,9 +203,10 @@ distclean: clean
 TEST_DIRS = 				\
 	library 			\
 	tests 				\
+	contribs/LAMBDA-TYPES 		\
+	contribs/PREDICATIVE-TOPOLOGY 	\
+	contribs/RELATIONAL	 	\
 	$(NULL)
-#	contribs/LAMBDA-TYPES 		\
-#	contribs/PREDICATIVE-TOPOLOGY 	\
 
 .PHONY: tests tests.opt cleantests cleantests.opt
 tests: $(foreach d,$(TEST_DIRS),$(d)-test)
-- 
2.39.5