From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 17:31:33 +0000 (+0000)
Subject: match.ma removed
X-Git-Tag: PRE_GETTER_STORAGE~38
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bd2bb1cb343224f4a59133bc37055a85081e60e2;p=helm.git

match.ma removed
---

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