From b53ddc01fd000e8ebb0563b4bbb4285d5857eaf9 Mon Sep 17 00:00:00 2001
From: William Ball <williampi103@gmail.com>
Date: Sun, 1 Dec 2024 20:55:49 -0800
Subject: [PATCH] oops, fixed highlighting on axioms

---
 queries/perga/highlights.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/queries/perga/highlights.scm b/queries/perga/highlights.scm
index 76d60f1..0fc6311 100644
--- a/queries/perga/highlights.scm
+++ b/queries/perga/highlights.scm
@@ -1,5 +1,4 @@
 [ "fun" "λ" "forall" "∏" "let" "in" "end" "def" "axiom" ] @keyword
-(axiom) @keyword
 
 (preprocess
   (command) @keyword
@@ -17,6 +16,9 @@
 (definition
   name: (identifier) @function)
 
+(axiom
+  name: (identifier) @function)
+
 (binding
   (identifier) @function)