diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-19 13:58:23 +0200 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-19 13:58:23 +0200 |
| commit | 1f91d2e97ef23a5182d0db8fdfbe4716fec46dd2 (patch) | |
| tree | d16e8a32e9ce16ddadeaa34808efc2f1111fb392 /Source/Dafny/Rewriter.cs | |
| parent | b1530597d97bf6adbdc64b6f7698e1e1bee6966b (diff) | |
Allow empty calc statements
Diffstat (limited to 'Source/Dafny/Rewriter.cs')
0 files changed, 0 insertions, 0 deletions