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 | f2c2a579f9db4f012d79f25469563204f8fb285e (patch) | |
tree | 262108c2ab28ebb3bcc339a6f8507b933056e627 /_admin | |
parent | cb9072411727dd2afea5c691bb03ed86012b9466 (diff) |
Dafny: fixed typo in parser code
Diffstat (limited to '_admin')
0 files changed, 0 insertions, 0 deletions