diff options
Diffstat (limited to 'Util/vim/dafny.vim')
| -rw-r--r-- | Util/vim/dafny.vim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Util/vim/dafny.vim b/Util/vim/dafny.vim index c706ac5f..58820c0f 100644 --- a/Util/vim/dafny.vim +++ b/Util/vim/dafny.vim @@ -7,7 +7,7 @@ syntax clear syntax case match syntax keyword dafnyFunction function predicate copredicate syntax keyword dafnyMethod method lemma constructor colemma -syntax keyword dafnyTypeDef class datatype codatatype type iterator +syntax keyword dafnyTypeDef class datatype codatatype type iterator trait extends syntax keyword dafnyModule abstract module import opened as default syntax keyword dafnyConditional if then else match case syntax keyword dafnyRepeat while |