Fix a bug in lexer

JetBrains · Sep 6, 2021 · f291daf · f291daf
1 parent be694e8
commit f291daf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/grammars/ArendLexer.flex b/src/main/grammars/ArendLexer.flex
@@ -162,9 +162,9 @@ OCT_DIGIT           = [0-8]
     "\\oo"                  { return OO_KW; }
     "\\suc"                 { return SUC_KW; }
     "\\level"               { return LEVEL_KW; }
-    "\\levels"              { yybegin(LEVEL_PARAMETERS); return LEVELS_KW; }
+    "\\levels"              { return LEVELS_KW; }
     "\\plevels"             { yybegin(LEVEL_PARAMETERS); return PLEVELS_KW; }
-    "\\hlevels"             { return HLEVELS_KW; }
+    "\\hlevels"             { yybegin(LEVEL_PARAMETERS); return HLEVELS_KW; }
     "\\max"                 { return MAX_KW; }
 
     {STRING}                { return STRING; }