Minor style.

Julian · Dec 31, 2024 · b801355 · b801355
1 parent 18606e0
commit b801355
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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"