diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-03-21 10:52:18 +0100 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-03-21 10:52:18 +0100 |
| commit | d43bca5ff665e0e8a14776f04e2c46d97ad21dd8 (patch) | |
| tree | f71bc3cf85b13920c5f100f6901ce346b11c4684 /Test/dafny1 | |
| parent | 75677635c5b54f36c1835d115da111a0857fcee0 (diff) | |
Minor code cleanup.
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions