diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-04-05 18:09:08 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-04-05 18:09:08 -0700 |
| commit | 17deb86f8f647808dfe38f5437c9adfb373dd7e9 (patch) | |
| tree | d34141def34d979ec3650dc51641b088080dfaca /Source/Dafny/cce.cs | |
| parent | c382dec32aac64dfa50e999795841950e4d81fed (diff) | |
Dafny: don't require parentheses in syntax of "choose" statements
Diffstat (limited to 'Source/Dafny/cce.cs')
0 files changed, 0 insertions, 0 deletions