diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-07-11 19:08:48 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-07-11 19:08:48 -0700 |
| commit | cb20c2a781055190994851bb375828db642fa271 (patch) | |
| tree | 8c3fae9a78d5ed53bf3b148294a2c8001ad2c94d /Test/dafny1/TerminationDemos.dfy | |
| parent | 2f7dd71225c89e0901bf228203d88b73814d9354 (diff) | |
Dafny: allow constructors only inside classes, removed semi-colons at end of body-less functions/methods
Diffstat (limited to 'Test/dafny1/TerminationDemos.dfy')
0 files changed, 0 insertions, 0 deletions