update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / sAttr.mrc

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc b/matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc
index 4daa8ba06acadd01320ca6e95bfcf8b5e6f93adf..7d8aadcfffd03c58c4cfc1b8902a2b993ff5a029 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/sAttr.mrc
@@ -1,4 +1,5 @@
 check s "" false false
 advanced
 basic
+helper
 main