aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/lean
diff options
context:
space:
mode:
authorA-Walrus2022-07-06 02:49:54 +0000
committerGitHub2022-07-06 02:49:54 +0000
commit1378b911b63f4fdab7beba77de6d54f1dd070553 (patch)
tree4a0a72ede4d26d4f89732d8db348142eab4a69dc /runtime/queries/lean
parentb61221107068160c241858a530f6fa4144566122 (diff)
Fix some typos (#2978)
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