diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-10 15:51:36 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-10 15:51:36 -0800 |
| commit | a8c6c46651be5647af3d9db66c37a4f91a7781cc (patch) | |
| tree | d7ba259aa9167118166a2b9a9402e0781edb1412 /Test/dafny1/Cubes.dfy | |
| parent | ae8ba23b193e160d0e6363558482a8f955034775 (diff) | |
Dafny: allow definitions and uses of parameter-less predicates to go without parentheses
Diffstat (limited to 'Test/dafny1/Cubes.dfy')
0 files changed, 0 insertions, 0 deletions