search

whonore / Coqtail

Interactive Coq Proofs in Vim
MIT License
274 stars 34 forks source link

Wrong syntax highlight for `Structure` #355

Closed toku-sa-n closed 6 months ago

toku-sa-n commented 6 months ago

Hello. I found that using Structure instead of Record, the name was highlighted as an error. Structure is a synonym of Record, and seeing the syntax file, I believe this is just a mistake. I'll send a PR if it's acceptable.

15-05-2024_23 51 03_screenshot

whonore commented 6 months ago

Thanks for reporting. The syntax file is kind of a mess, but if you can figure it out a PR would be welcome.

toku-sa-n commented 6 months ago

Oh, thank you for the fix!