From ca0a7f5a8d1dd4596aca77679e1fd7e905d52716 Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@protonmail.com>
Date: Thu, 19 Aug 2021 14:14:58 -0400
Subject: Highlight some keyword.function nodes as just keywords

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

diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm
index 521f44f4..92868e45 100644
--- a/queries/tlaplus/highlights.scm
+++ b/queries/tlaplus/highlights.scm
@@ -57,20 +57,20 @@
   "WF_"
   "WITH"
   "WITNESS"
-] @keyword
-[
   (forall)
   (exists)
   (temporal_forall)
   (temporal_exists)
   (set_in)
-  (def_eq)
   (gets)
-  (maps_to)
-  (all_map_to)
   (case_box)
   (case_arrow)
   (label_as)
+] @keyword
+[
+  (def_eq)
+  (maps_to)
+  (all_map_to)
 ] @keyword.function
 
 ; Literals
-- 
cgit v1.2.3