diff options
Diffstat (limited to 'language-web/src/main/js/editor/problemLanguageSupport.ts')
-rw-r--r-- | language-web/src/main/js/editor/problemLanguageSupport.ts | 3 |
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, |