diff options
| author |  Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-15 11:53:03 -0800 |
|---|---|---|
| committer | Nadia Polikarpova <nadia.polikarpova@gmail.com> | 2013-02-15 11:53:03 -0800 |
| commit | 79d90df7412bf52276280bf82b478dc11cd8b0ed (patch) | |
| tree | 8fc5c6827c051c60b1373ba39a296fa5f200ab4b /Test/dafny2 | |
| parent | 38bacfa50ab4db8364190c49ed6ee4c4c290bb2e (diff) | |
Support for paren-free guards in if and while statements.
Diffstat (limited to 'Test/dafny2')
0 files changed, 0 insertions, 0 deletions