diff options
author | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-17 13:47:24 +0200 |
---|---|---|
committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2012-09-17 13:47:24 +0200 |
commit | 1f617f5cd125e78b18ec280f74b470d1824e0c03 (patch) | |
tree | ecc3c1ff7f926e8176d432deb4d7181dd5fccf9b /Test/dafny2 | |
parent | c86ba4cfceb74b1f47092d881d4ba7dd1e3f8d84 (diff) |
Allow custom operators on a line
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions