diff options
| author |  Rustan Leino <unknown> | 2014-01-03 18:06:06 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-03 18:06:06 -0800 |
| commit | 4f86193513fa07374bc8295b875a0879b207621a (patch) | |
| tree | 8596cba8fbccacb857070855398366de699f6ab0 /Test/dafny2 | |
| parent | acee5277ceb3070404a2643c647b017edc5c5c4c (diff) | |
Improved the name-clashing situation when substituting to produce printable AdditionalInformation for forall-statement ensures clauses.
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions