aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
Diffstat (limited to 'runtime/queries/lean')
-rw-r--r--runtime/queries/lean/highlights.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/runtime/queries/lean/highlights.scm b/runtime/queries/lean/highlights.scm
index a64feb1d..ca19b835 100644
--- a/runtime/queries/lean/highlights.scm
+++ b/runtime/queries/lean/highlights.scm
@@ -197,7 +197,7 @@
(interpolated_string) @string
; (escape_sequence) @string.escape
-; Reset highlighing in string interpolation
+; Reset highlighting in string interpolation
(interpolation) @none
(interpolation