propagating the arithmetics library, partial commit

[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 0f66fc44bc5ab74bacc2f3c2023eafa37ad0c814..21cca9c6c21529ea6a4a3b0d5f7e1ad387496d53 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 = [|
     "Advanved";
     "Basic";
+    "Constructions";
     "Forward";
     "Destructions";
     "Eliminations";