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/dafny1/KatzManna.dfy | |
parent | 38bacfa50ab4db8364190c49ed6ee4c4c290bb2e (diff) |
Support for paren-free guards in if and while statements.
Diffstat (limited to 'Test/dafny1/KatzManna.dfy')
0 files changed, 0 insertions, 0 deletions