diff options
| author |  leino <unknown> | 2014-11-19 00:49:51 -0800 |
|---|---|---|
| committer | leino <unknown> | 2014-11-19 00:49:51 -0800 |
| commit | 7b40f456229bb5c275450db60299db00e865696e (patch) | |
| tree | e6a24434f2eaaf10771057c2851e9a67f4ba2459 /Source/Dafny/Parser.cs | |
| parent | f27cb29e16125a4132e67e826c13db46595a838e (diff) | |
Fixed bug where resolution was overly restrictive with ghost variables appearing in reads clauses.
Fixed bug in the checking of reads subset for field frame targets ("back ticks")
Diffstat (limited to 'Source/Dafny/Parser.cs')
0 files changed, 0 insertions, 0 deletions