From bd2bb1cb343224f4a59133bc37055a85081e60e2 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 17:31:33 +0000
Subject: [PATCH] match.ma removed

---
 helm/matita/tests/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 68eae9259..91aecea52 100644
--- a/helm/matita/tests/Makefile
+++ b/helm/matita/tests/Makefile
@@ -1,6 +1,6 @@
 SRC=\
 	apply.ma fguidi.ma letrec.ma replace.ma test3.ma auto.ma first.ma\
-        match.ma rewrite.ma test4.ma baseuri.ma fix_betareduction.ma\
+        rewrite.ma test4.ma baseuri.ma fix_betareduction.ma\
         match_inference.ma second.ma third.ma coercions.ma fold.ma\
         mysql_escaping.ma simpl.ma comments.ma inversion.ma record.ma test2.ma
 
-- 
2.39.2