diff options
| author | A-Walrus | 2022-07-06 02:49:54 +0000 |
|---|---|---|
| committer | GitHub | 2022-07-06 02:49:54 +0000 |
| commit | 1378b911b63f4fdab7beba77de6d54f1dd070553 (patch) | |
| tree | 4a0a72ede4d26d4f89732d8db348142eab4a69dc /runtime/queries/lean | |
| parent | b61221107068160c241858a530f6fa4144566122 (diff) | |
Fix some typos (#2978)
Diffstat (limited to 'runtime/queries/lean')
| -rw-r--r-- | runtime/queries/lean/highlights.scm | 2 |
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 |