vim-loves-dafny icon indicating copy to clipboard operation
vim-loves-dafny copied to clipboard

sequence / set "in" operator not highlighted in vim

Open OrenGitHub opened this issue 4 years ago • 0 comments

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!

OrenGitHub avatar Aug 04 '20 14:08 OrenGitHub