From b801355da66f5e3201a428c0e31a6d695f1da3ad Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Tue, 31 Dec 2024 10:21:01 -0500
Subject: [PATCH] Minor style.

---
 queries/lean/highlights.scm | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/queries/lean/highlights.scm b/queries/lean/highlights.scm
index 3677e347..c7bf647f 100644
--- a/queries/lean/highlights.scm
+++ b/queries/lean/highlights.scm
@@ -121,6 +121,10 @@
   "@&"
 ] @operator
 
+[
+ "import"
+] @keyword.import
+
 [
   "attribute"
   "by"
@@ -174,10 +178,6 @@
   (trivial)
 ] @keyword
 
-[
- "import"
-] @keyword.import
-
 [
   "catch"
   "finally"