diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 14:59:58 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-06-11 14:59:58 -0700 |
| commit | cb5f93c71b97a878e76c1dacb0933783a3738235 (patch) | |
| tree | 37adfc6998a5fba135959482676497e4dff43b7a /Dafny/Scanner.cs | |
| parent | d5606621b8146a258557c4824405c8331e4c8691 (diff) | |
Dafny: fixed bug in type cloning, as part of refinement machinery
Diffstat (limited to 'Dafny/Scanner.cs')
0 files changed, 0 insertions, 0 deletions