diff options
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index 34c643310..ed668d020 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -86,7 +86,7 @@ "or" "procedure" "process" - "skip" + (pcal_skip) "variable" "variables" "when" @@ -119,7 +119,7 @@ (pcal_end_with) ] @keyword.repeat -"return" @keyword.return +(pcal_return) @keyword.return "print" @function.macro |