diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-05-13 15:20:11 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-05-13 15:20:11 -0700 |
| commit | d4d27306f11a8a77364e21d68d14954cf5449b2e (patch) | |
| tree | e2eec7ed3a41613197e9bf9f1ebe48711ce87d55 /Dafny/Resolver.cs | |
| parent | daaaf8cfb87024a3c7b03bd83ea9e0dd4c619203 (diff) | |
Dafny: fixed typo in parser code
Diffstat (limited to 'Dafny/Resolver.cs')
0 files changed, 0 insertions, 0 deletions