From b89192b3dc4bd71eee2266865f9ea0e558e3784e Mon Sep 17 00:00:00 2001
From: Andrew Helwer <ahelwer@protonmail.com>
Date: Sun, 29 Aug 2021 21:33:46 -0700
Subject: @number -> @keyword

---
 queries/tlaplus/highlights.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/queries/tlaplus/highlights.scm b/queries/tlaplus/highlights.scm
index f5dd93ac2..bbbabd968 100644
--- a/queries/tlaplus/highlights.scm
+++ b/queries/tlaplus/highlights.scm
@@ -66,7 +66,7 @@
   (case_box)
   (case_arrow)
   (label_as)
-] @number
+] @keyword
 [
   (def_eq)
   (maps_to)
-- 
cgit v1.2.3-70-g09d2