Avoid highlighting comments in strings (#352)

whonore · Apr 17, 2024 · f2dba4d · f2dba4d
1 parent 0694dbe
commit f2dba4d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -9,6 +9,8 @@
   (PR #339)
 
 ### Fixed
+- Don't highlight comments inside strings.
+  (PR #352)
 - Highlight `edestruct` correctly.
   (PR #346)
 - Highlight `generalize dependent` correctly.

diff --git a/syntax/coq.vim b/syntax/coq.vim
@@ -492,7 +492,7 @@ syn match elpiMode contained "\<[io]:"
 syn match elpiNumber contained "[0-9]\+"
 
 " Various (High priority)
-syn region  coqComment           containedin=ALL contains=coqComment,coqTodo,@Spell start="(\*" end="\*)" extend keepend
+syn region  coqComment           containedin=ALLBUT,coqString contains=coqComment,coqTodo,@Spell start="(\*" end="\*)" extend keepend
 syn keyword coqTodo              contained TODO FIXME XXX NOTE
 syn region  coqString            start=+"+ skip=+""+ end=+"+ extend