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=83a2892472a11f3b2cfa72e937972cf995097175;hp=99ff840af11fddea6f36185c88ce325d03a0c248;hb=ae626612bff9c3746dd7647bbada791c737e348c;hpb=4d232392091ee233afc26ecf3120dd5f5c6a33c8

diff --git a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
index 99ff840af..83a289247 100644
--- a/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
+++ b/matita/matita/contribs/lambdadelta/bin/recomm/recommLexer.mll
@@ -5,6 +5,7 @@
 
   let keys = [|
     "Note";
+    "NOTE";
   |]
 
   let heads = [|
@@ -37,9 +38,9 @@
     aux (String.length s - 1)
 
   let disambiguate_word s =
-    if is_uppercase_ascii s then EP.CW s else
     if Array.mem s keys then EP.KW s else
     if Array.mem s heads then EP.HW s else
+    if is_uppercase_ascii s then EP.CW s else
     EP.SW s
 
   let log s =