diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-10-02 22:53:29 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-10-02 22:53:29 -0700 |
| commit | 06c6bfd2134bd9412b909d77887673b47a88b72b (patch) | |
| tree | f3d4e610ed4f61b3c4683f489f27563e0de8f693 /Binaries | |
| parent | 64b1e0ecf94c95f9de3a651ad1245e937241d69e (diff) | |
Dafny: changed iterator body to resolve to implicit fields rather than to the formal in- and yield-parameters
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions