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 /Util/Emacs | |
parent | a7f7adfb814d4777384b6358e338d1e7b54e8712 (diff) |
Dafny: Removed the previous optional curly braces in match expressions (use parens instead, when needed!).
Diffstat (limited to 'Util/Emacs')
0 files changed, 0 insertions, 0 deletions