diff options
Diffstat (limited to 'subprojects/frontend/src/language/problemLanguageSupport.ts')
| -rw-r--r-- | subprojects/frontend/src/language/problemLanguageSupport.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/frontend/src/language/problemLanguageSupport.ts b/subprojects/frontend/src/language/problemLanguageSupport.ts index 3847fdd8..2483c2e3 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
| @@ -28,7 +28,7 @@ const parserWithMetadata = parser.configure({ | |||
| 28 | LineComment: t.lineComment, | 28 | LineComment: t.lineComment, |
| 29 | BlockComment: t.blockComment, | 29 | BlockComment: t.blockComment, |
| 30 | 'module problem class enum pred fn scope': t.definitionKeyword, | 30 | 'module problem class enum pred fn scope': t.definitionKeyword, |
| 31 | 'node atom multi': t.definitionKeyword, | 31 | 'declare atom multi': t.definitionKeyword, |
| 32 | 'abstract extends refers contains container opposite': t.modifier, | 32 | 'abstract extends refers contains container opposite': t.modifier, |
| 33 | 'default error contained containment': t.modifier, | 33 | 'default error contained containment': t.modifier, |
| 34 | 'true false unknown error': t.keyword, | 34 | 'true false unknown error': t.keyword, |