diff options
| author |  qunyanm <unknown> | 2016-03-31 14:43:46 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-03-31 14:43:46 -0700 |
| commit | 31b0c4345b02b2314ca92a032ce90fbfdf66d1e8 (patch) | |
| tree | a7b46d9a6db9f6cdf8d9197fc44354bc0462c27e /Binaries/DafnyRuntime.cs | |
| parent | 8b9126340fb1b5c5c4abe67b940911b675d22c63 (diff) | |
Allow modifies clauses for a "Main" method annotated with {:main} attribute.
Diffstat (limited to 'Binaries/DafnyRuntime.cs')
0 files changed, 0 insertions, 0 deletions