diff options
| author |  Jason Koenig <unknown> | 2012-07-16 15:12:43 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-16 15:12:43 -0700 |
| commit | 7c5b29cfb26c4fe04de732ae7f79d12d840c679e (patch) | |
| tree | 781f09219ef8a47c88c827f14314ca0472feb144 /Test/dafny0 | |
| parent | b9dfc55284aa0dcffcaf9c5ddbde51a77572b31a (diff) | |
Dafny: allow implict self (as in "`field") in frame declarations.
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions