Updated TLA+ grammar version and queries

This commit is contained in:
Andrew Helwer 2021-10-06 13:16:18 -04:00 committed by Stephan Seitz
parent ecd9efd486
commit 6b82b26a74
2 changed files with 6 additions and 2 deletions

View file

@ -207,7 +207,7 @@
"revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
},
"tlaplus": {
"revision": "d7d8c73035028edeb07cd3d9a50bcc635a186877"
"revision": "f1b5eafceab0d98b389033235e3d3edcc33490ba"
},
"toml": {
"revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"

View file

@ -85,7 +85,11 @@
(string) @string
(escape_char) @string.escape
(boolean) @boolean
(primitive_value_set) @type
(string_set) @type
(boolean_set) @type
(nat_number_set) @type
(int_number_set) @type
(real_number_set) @type
; Comments
(comment) @comment