aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/js/editor/problemLanguageSupport.ts
diff options
context:
space:
mode:
Diffstat (limited to 'language-web/src/main/js/editor/problemLanguageSupport.ts')
-rw-r--r--language-web/src/main/js/editor/problemLanguageSupport.ts3
1 files changed, 2 insertions, 1 deletions
diff --git a/language-web/src/main/js/editor/problemLanguageSupport.ts b/language-web/src/main/js/editor/problemLanguageSupport.ts
index 2bf7c7a4..c9e61b31 100644
--- a/language-web/src/main/js/editor/problemLanguageSupport.ts
+++ b/language-web/src/main/js/editor/problemLanguageSupport.ts
@@ -26,7 +26,7 @@ const parserWithMetadata = (parser as LRParser).configure({
26 LineComment: t.lineComment, 26 LineComment: t.lineComment,
27 BlockComment: t.blockComment, 27 BlockComment: t.blockComment,
28 'problem class enum pred unique scope': t.definitionKeyword, 28 'problem class enum pred unique scope': t.definitionKeyword,
29 'abstract refers contains opposite error default': t.modifier, 29 'abstract extends refers contains opposite error default': t.modifier,
30 'true false unknown error': t.keyword, 30 'true false unknown error': t.keyword,
31 NotOp: t.keyword, 31 NotOp: t.keyword,
32 UnknownOp: t.keyword, 32 UnknownOp: t.keyword,
@@ -34,6 +34,7 @@ const parserWithMetadata = (parser as LRParser).configure({
34 StarArgument: t.keyword, 34 StarArgument: t.keyword,
35 'IntMult StarMult Real': t.number, 35 'IntMult StarMult Real': t.number,
36 StarMult: t.number, 36 StarMult: t.number,
37 String: t.string,
37 'RelationName/QualifiedName': t.typeName, 38 'RelationName/QualifiedName': t.typeName,
38 'UniqueNodeName/QualifiedName': t.atom, 39 'UniqueNodeName/QualifiedName': t.atom,
39 'VariableName/QualifiedName': t.variableName, 40 'VariableName/QualifiedName': t.variableName,