diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-11-06 16:56:11 +0100 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2021-11-06 16:56:11 +0100 |
| commit | bf479290c950c004d8f99eda967e3a6c76e0e64b (patch) | |
| tree | 2d805f058ab6b4289d4338b8f6beb12c51c31d09 /language-web/src/main/js/language/problemLanguageSupport.ts | |
| parent | Merge pull request #11 from kris7t/unique-to-individual (diff) | |
| parent | chore(lang): seralize assertions in short form (diff) | |
| download | refinery-bf479290c950c004d8f99eda967e3a6c76e0e64b.tar.gz refinery-bf479290c950c004d8f99eda967e3a6c76e0e64b.tar.zst refinery-bf479290c950c004d8f99eda967e3a6c76e0e64b.zip | |
Merge pull request #12 from kris7t/xtext-serialization
Make sure Xtext serialization works
Diffstat (limited to 'language-web/src/main/js/language/problemLanguageSupport.ts')
| -rw-r--r-- | language-web/src/main/js/language/problemLanguageSupport.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language-web/src/main/js/language/problemLanguageSupport.ts b/language-web/src/main/js/language/problemLanguageSupport.ts index 1dba3447..6508a2c0 100644 --- a/language-web/src/main/js/language/problemLanguageSupport.ts +++ b/language-web/src/main/js/language/problemLanguageSupport.ts | |||
| @@ -27,7 +27,7 @@ const parserWithMetadata = (parser as LRParser).configure({ | |||
| 27 | styleTags({ | 27 | styleTags({ |
| 28 | LineComment: t.lineComment, | 28 | LineComment: t.lineComment, |
| 29 | BlockComment: t.blockComment, | 29 | BlockComment: t.blockComment, |
| 30 | 'problem class enum pred rule individual scope': t.definitionKeyword, | 30 | 'problem class enum pred rule indiv scope': t.definitionKeyword, |
| 31 | 'abstract extends refers contains opposite error direct default': t.modifier, | 31 | 'abstract extends refers contains opposite error direct default': t.modifier, |
| 32 | 'true false unknown error': t.keyword, | 32 | 'true false unknown error': t.keyword, |
| 33 | 'new delete': t.operatorKeyword, | 33 | 'new delete': t.operatorKeyword, |