diff options
| author |  Rustan Leino <unknown> | 2013-03-29 16:06:44 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-03-29 16:06:44 -0700 |
| commit | 5152d9cd2fd4cd7258d745ec01324b4b654e1172 (patch) | |
| tree | 125196e06c419b9ff6febb9c0f2e5e9887cda922 /Test/dafny0/DTypes.dfy | |
| parent | 5296b17758c3e27bf551e9a322323a37983d7abb (diff) | |
Fixed compilation of assign-such-that for the multi-variable case where some bounds are infinite
Diffstat (limited to 'Test/dafny0/DTypes.dfy')
0 files changed, 0 insertions, 0 deletions