X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Frecomm%2FrecommLexer.mll;h=21cca9c6c21529ea6a4a3b0d5f7e1ad387496d53;hp=0f66fc44bc5ab74bacc2f3c2023eafa37ad0c814;hb=dbc57c92512c04b3fd88f8289bb8dbe99b2f90e0;hpb=baa54e5db0fb93c4242dd1b67a5018ca63206cf6

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
index 0f66fc44b..21cca9c6c 100644
--- 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";