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 ae998d20..5ca162d9 100644 --- a/subprojects/frontend/src/language/problemLanguageSupport.ts +++ b/subprojects/frontend/src/language/problemLanguageSupport.ts | |||
@@ -36,7 +36,7 @@ const parserWithMetadata = parser.configure({ | |||
36 | 'import as declare atom multi': t.definitionKeyword, | 36 | 'import as declare atom multi': t.definitionKeyword, |
37 | 'extern datatype aggregator': t.definitionKeyword, | 37 | 'extern datatype aggregator': t.definitionKeyword, |
38 | rule: t.definitionKeyword, | 38 | rule: t.definitionKeyword, |
39 | 'abstract extends refers contains container opposite': t.modifier, | 39 | 'abstract extends refers contains container partial opposite': t.modifier, |
40 | default: t.modifier, | 40 | default: t.modifier, |
41 | 'propagation decision': t.modifier, | 41 | 'propagation decision': t.modifier, |
42 | 'true false unknown error': t.keyword, | 42 | 'true false unknown error': t.keyword, |