diff options
| author |  Rustan Leino <unknown> | 2014-10-29 14:29:47 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-10-29 14:29:47 -0700 |
| commit | 50d02a2fd7f19664bdde27f698d5ff061472118d (patch) | |
| tree | 607beb8acc93dac7ebf763a8dad384440a6d4525 /Test/dafny1 | |
| parent | 7020623af8200fef0b49f3c30e7dd93c1ea65512 (diff) | |
Fix bug in translation of 'new' for arrays
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions