diff options
author | Rustan Leino <leino@microsoft.com> | 2012-01-10 16:45:24 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-01-10 16:45:24 -0800 |
commit | 11a0520f5fc3890358accace772c7a5f26c19c72 (patch) | |
tree | fb77274458b982f36170a2c4c7c53f7aba6b5b05 /Util | |
parent | 3be3e9a226ee0defb514da6fe136ce7cadf9e17c (diff) |
Dafny: allow class-member declarations at top level of any module (not just the default module); these go into the (new) default class of each module
Diffstat (limited to 'Util')
0 files changed, 0 insertions, 0 deletions