match.ma removed

[helm.git] / helm / matita / tests / Makefile

diff --git a/helm/matita/tests/Makefile b/helm/matita/tests/Makefile
index 68eae9259816810da40d65fcbe63670e91943b70..91aecea524977bcea92ca38513c4a982959417ed 100644 (file)
--- 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