diff options
author | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 17:01:55 -0700 |
---|---|---|
committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-30 17:01:55 -0700 |
commit | 76d973603cfe04d534a332cf83d18dca7dc228ad (patch) | |
tree | fc08d3fb4aa043a327ef29477c9d674743970110 /Dafny/DafnyOptions.cs | |
parent | 79c71bc05d7be3c667642aefc21506785175afed (diff) |
DafnyExtension: don't duplicate names of inherited identifiers
Diffstat (limited to 'Dafny/DafnyOptions.cs')
0 files changed, 0 insertions, 0 deletions