diff options
author | 2011-05-13 15:20:11 -0700 | |
---|---|---|
committer | 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