update in bin

[helm.git] / matita / matita / contribs / lambdadelta / bin / Makefile.common

diff --git a/matita/matita/contribs/lambdadelta/bin/Makefile.common b/matita/matita/contribs/lambdadelta/bin/Makefile.common
index 7f95f4a23d144998904cd28bda902748bc7f5514..ad41f216c9c496399edb3e6479d845bf785d9afa 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/Makefile.common
+++ b/matita/matita/contribs/lambdadelta/bin/Makefile.common
@@ -32,5 +32,7 @@ clean::
 
 .PHONY: all clean
 
+.SUFFIXES:
+
 %.ml: %.aml
        $(H)$(ALPHA) < $< > $@