diff options
author | Rustan Leino <unknown> | 2013-08-06 18:37:40 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2013-08-06 18:37:40 -0700 |
commit | b06749500528f113ace48fd2fd7d0412c84a9c78 (patch) | |
tree | 9b54dfe7c5d412c2f56e0e5bdefe62501ad4d5f2 /Util/vim | |
parent | b40564833ddf8408d446d5b2c0ba376dbea51c68 (diff) |
Removed old keyword "choose"
Diffstat (limited to 'Util/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 414b5fdc..a4ef0d1a 100644 --- a/Util/vim/dafny.vim +++ b/Util/vim/dafny.vim @@ -15,7 +15,7 @@ syntax keyword dafnyStatement assume assert return yield new print break label w syntax keyword dafnyKeyword var ghost returns yields null static this refines syntax keyword dafnyType bool nat int seq set multiset object array array2 array3 map syntax keyword dafnyLogic requires ensures modifies reads decreases invariant -syntax keyword dafnyOperator forall exists old fresh choose +syntax keyword dafnyOperator forall exists old fresh syntax keyword dafnyBoolean true false syntax region dafnyString start=/"/ skip=/\\"/ end=/"/ |