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 | 60b7b684292235795227c5aa3bd6597775872256 (patch) | |
| tree | e669de7901f0a0f8ebf5f15a2d006226b961abdc /Util | |
| parent | d9cff4a1a868e7caa7e25ffdffba33a3324b2cd7 (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