Fix a very minor typo in the syntax file#21

isti115 wants to merge 1 commit intoedwinb:masteredwinb/idris2-vim:masterfrom

isti115:patch-1isti115/idris2-vim:patch-1Copy head branch name to clipboard