diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-04-07 20:01:55 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-04-07 20:01:55 -0700 |
| commit | 20d6f977ee7100c724b05fe70379e494417924b4 (patch) | |
| tree | c8ffcb9ae5627afa3c8dde3cfb577c55475c983f /Dafny/Makefile | |
| parent | b5ec245a43d2d49b4f51a7659769fb41dd0b0d7c (diff) | |
Jennisys: Allow model members to occur in any order
Diffstat (limited to 'Dafny/Makefile')
0 files changed, 0 insertions, 0 deletions