diff options
| author |  Rustan Leino <unknown> | 2013-02-11 19:50:57 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-02-11 19:50:57 -0800 |
| commit | 2c74f9200db870814ea3dae63484cbe969ec3526 (patch) | |
| tree | 26c83369d254a707b80726f63cf350d593a59737 /Test/dafny1 | |
| parent | e0f4d19e19d3cd09acaaec91bef529fc49d0c378 (diff) | |
Report error if type of a quantified variable cannot be inferred
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions