diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-10-26 20:55:53 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-10-26 20:55:53 -0700 |
| commit | f5b9f70c1da3279581cd910ce56a3d840e151f14 (patch) | |
| tree | 727ca2ea32bf1abc43fb66df224f455811a6278a /Util/vim | |
| parent | 0554f4e6085f63f5d171abae76a0010fb177a4b5 (diff) | |
Dafny: removed support for assigning to an array-range (that is, an assignment statement where the LHS has the form a[lo..hi])
Diffstat (limited to 'Util/vim')
0 files changed, 0 insertions, 0 deletions