diff options
author | Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-10-02 17:58:49 -0700 |
commit | 64b1e0ecf94c95f9de3a651ad1245e937241d69e (patch) | |
tree | c407de246175c671cec97fb188638101eb79d9f7 /Dafny/Parser.cs | |
parent | cb24e4e69da6283835cc5f42c7b0f50dc604568d (diff) |
Dafny: handle decreases clause for iterators
Diffstat (limited to 'Dafny/Parser.cs')
0 files changed, 0 insertions, 0 deletions