diff options
| author | Amaan Qureshi <amaanq12@gmail.com> | 2024-10-15 12:05:51 -0400 |
|---|---|---|
| committer | Christian Clason <ch.clason+github@icloud.com> | 2024-10-16 08:35:54 +0200 |
| commit | 8944dc64ef3f33c2c79de5cd133a2de4ea08d920 (patch) | |
| tree | 58fd9e34155c4a3fc9381a20616bdb74ef1ed426 /queries | |
| parent | fix(starlark): remove unused rules (diff) | |
| download | nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar.gz nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar.bz2 nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar.lz nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar.xz nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.tar.zst nvim-treesitter-8944dc64ef3f33c2c79de5cd133a2de4ea08d920.zip | |
fix(tlaplus): remove unused rules
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/tlaplus/highlights.scm | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm index ed668d020..2eca927e7 100644 --- a/queries/tlaplus/highlights.scm +++ b/queries/tlaplus/highlights.scm @@ -13,9 +13,7 @@ "DEF" "DEFINE" "DEFS" - "DOMAIN" "ELSE" - "ENABLED" "EXCEPT" "EXTENDS" "HAVE" @@ -41,14 +39,11 @@ "RECURSIVE" "SF_" "STATE" - "SUBSET" "SUFFICES" "TAKE" "TEMPORAL" "THEN" "THEOREM" - "UNCHANGED" - "UNION" "USE" "VARIABLE" "VARIABLES" |