1 files changed, 8 insertions, 7 deletions

diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts
index b6e2f14e..550532ef 100644
--- a/subprojects/frontend/src/language/problemLanguageSupport.ts
+++ b/subprojects/frontend/src/language/problemLanguageSupport.ts
@@ -28,12 +28,13 @@ const parserWithMetadata = (parser as LRParser).configure({
       LineComment: t.lineComment,
       BlockComment: t.blockComment,
       'problem class enum pred rule indiv scope': t.definitionKeyword,
-      'abstract extends refers contains opposite error direct default': t.modifier,
+      'abstract extends refers contains opposite error default': t.modifier,
       'true false unknown error': t.keyword,
+      'may must current': t.operatorKeyword,
       'new delete': t.operatorKeyword,
-      NotOp: t.keyword,
-      UnknownOp: t.keyword,
-      OrOp: t.keyword,
+      NotOp: t.operator,
+      UnknownOp: t.operator,
+      OrOp: t.punctuation,
       StarArgument: t.keyword,
       'IntMult StarMult Real': t.number,
       StarMult: t.number,
@@ -46,7 +47,7 @@ const parserWithMetadata = (parser as LRParser).configure({
       '( )': t.paren,
       '[ ]': t.squareBracket,
       '. .. , :': t.separator,
-      '<-> ~>': t.definitionOperator,
+      '<-> ==>': t.definitionOperator,
     }),
     indentNodeProp.add({
       ProblemDeclaration: indentDeclaration,
@@ -63,7 +64,7 @@ const parserWithMetadata = (parser as LRParser).configure({
       PredicateBody: foldInside,
       RuleBody: foldInside,
       Conjunction: foldConjunction,
-      Action: foldWholeNode,
+      Consequent: foldWholeNode,
       UniqueDeclaration: foldDeclaration,
       ScopeDeclaration: foldDeclaration,
       BlockComment: foldBlockComment,
@@ -81,7 +82,7 @@ const problemLanguage = LRLanguage.define({
       },
       line: '%',
     },
-    indentOnInput: /^\s*(?:\{|\}|\(|\)|;|\.|~>)$/,
+    indentOnInput: /^\s*(?:\{|\}|\(|\)|;|\.|==>)$/,
   },
 });