From 8944dc64ef3f33c2c79de5cd133a2de4ea08d920 Mon Sep 17 00:00:00 2001
From: Amaan Qureshi <amaanq12@gmail.com>
Date: Tue, 15 Oct 2024 12:05:51 -0400
Subject: fix(tlaplus): remove unused rules

---
 queries/tlaplus/highlights.scm | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'queries')

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"
-- 
cgit v1.2.3-70-g09d2