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 06e1252e..f533a621 100644 --- a/Util/vim/dafny.vim +++ b/Util/vim/dafny.vim @@ -6,7 +6,7 @@ syntax clear syntax case match syntax keyword dafnyFunction function predicate copredicate -syntax keyword method lemma constructor comethod colemma +syntax keyword method lemma constructor colemma syntax keyword dafnyTypeDef class datatype codatatype type iterator syntax keyword abstract module import opened as default syntax keyword dafnyConditional if then else match case |