diff options
| author |  rustanleino <unknown> | 2010-04-02 00:30:39 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-04-02 00:30:39 +0000 |
| commit | b50b9e5c715cc9c94496418d5adc4023bef6516c (patch) | |
| tree | 09490d5f5531107888163a4dcb6be7013283833b /Test/VSI-Benchmarks | |
| parent | a7f7adfb814d4777384b6358e338d1e7b54e8712 (diff) | |
Dafny: Removed the previous optional curly braces in match expressions (use parens instead, when needed!).
Diffstat (limited to 'Test/VSI-Benchmarks')
0 files changed, 0 insertions, 0 deletions