diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-20 10:50:02 +0200 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-20 10:50:02 +0200 |
| commit | 1eb9803b383c5d245e1ed0ae43c0be951b2f1619 (patch) | |
| tree | 69ccf2116ceec05df67b219ede2ac7fc9ccbaf4c /Test/dafny0 | |
| parent | 35573c8c9ea324503c9a61e5c8e2b1b609d01e66 (diff) | |
Allow a single != in a calc
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions