- degree assignment, static type assignment, iterated static type

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

diff --git a/matita/matita/contribs/lambdadelta/Makefile b/matita/matita/contribs/lambdadelta/Makefile
index db7ab3bffa53496baafa8afcd64b12bb36761494..9bf98bda69a602f276e40b3d71689d60cd2ee8e9 100644 (file)
--- a/matita/matita/contribs/lambdadelta/Makefile
+++ b/matita/matita/contribs/lambdadelta/Makefile
@@ -74,8 +74,8 @@ $(XOA2_TARGETS): $(XOA2_CONF)
 # elim #######################################################################
 
 elim:
-       @echo "  MATITADEP"
-       $(H)grep "elim (.*?)" $(MAS)
+       @echo "  GREP elim"
+       $(H)grep "elim (.*?)" $(MAS) || true
 
 # orig #######################################################################