vim-loves-dafny
vim-loves-dafny copied to clipboard
sequence / set "in" operator not highlighted in vim
var X : set<int> := {3,4,5}
if (6 in X) { ... }
The in
word is not highlighted in vim.
Any chance to fix this? Thanks!