diff options
author | Rustan Leino <unknown> | 2014-06-24 15:09:23 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2014-06-24 15:09:23 -0700 |
commit | dfb1a7554e63d76c8c74ffe8da52d68144418238 (patch) | |
tree | 6123ac05031bbbca5f85d2e89680bbd9ef7482e7 /Source/DafnyMenu/GlobalSuppressions.cs | |
parent | 83a9919ddb86a41259923871e2d1d252e1d77b50 (diff) |
Make syntax of "match" expressions and "match" statements the same -- curly braces around the cases are now supported for both and are optional for both
Diffstat (limited to 'Source/DafnyMenu/GlobalSuppressions.cs')
0 files changed, 0 insertions, 0 deletions