milestone update in ground

[helm.git] / matita / matita / contribs / lambdadelta / bin / recomm / recommLexer.mll

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
index 83a2892472a11f3b2cfa72e937972cf995097175..596a909c8d472f9bc199585205ec8f63480c919b 100644 (file)
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
@@ -10,6 +10,7 @@
 
   let heads = [|
     "Advanced";
+    "Alternative";
     "Basic";
     "Constructions";
     "Forward";