diff options
| author |  rustanleino <unknown> | 2009-11-05 02:28:36 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-11-05 02:28:36 +0000 |
| commit | 3e050d0273c88db1b00c2d157ac1b970f2a5b4d7 (patch) | |
| tree | 31bf1add9f2aba6a970d6eb21f3f83b987769e79 /Test/havoc0 | |
| parent | ddede5ad5f9236d8ee4e1e75ba3ecfd7077d9296 (diff) | |
The Dafny call statement now automatically declares left-hand sides as local variables, if they were not already local variables.
Diffstat (limited to 'Test/havoc0')
0 files changed, 0 insertions, 0 deletions