diff options
| author |  Rustan Leino <unknown> | 2013-04-19 15:17:12 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2013-04-19 15:17:12 -0700 |
| commit | 7555f1e7dc8556b8ff1d2cab3c637b0556d1a946 (patch) | |
| tree | ec2a21d9316150b9d0e7e8bdb44628570115cdfc /Source/Dafny/Translator.cs | |
| parent | 02f82c2a76acf6a9bbd3becfcfa0aebb57f14443 (diff) | |
Make semi-colon after datatype/codatatype declaration optional (in the future, it will not be allowed at all)
Diffstat (limited to 'Source/Dafny/Translator.cs')
0 files changed, 0 insertions, 0 deletions