diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-14 18:33:12 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-14 18:33:12 -0700 |
commit | 67463f76fa71d7b4345ecc7599ceb09bd15fb8f3 (patch) | |
tree | ff745fbf6d20c310057234d6e8ac1a31c784d724 /Test/dafny1 | |
parent | 9c507ff8495f0a9030209e7dd20f022d38e2c140 (diff) |
Dafny: in compiler, respect C#'s different scoping rules and lack of support for special characters in identifiers
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions