diff options
author | 2012-06-07 18:22:49 +0200 | |
---|---|---|
committer | 2012-06-07 18:22:49 +0200 | |
commit | 3f66ef2f1e5437e4c3140da7a2915815e693b0b3 (patch) | |
tree | 1dabf9788b00d22917a6f8c7177b32eef4cc5d39 /Source/Dafny/Scanner.cs | |
parent | b0adf98a7e0d7089f88a16f855ec8f56393937d3 (diff) |
Chalice: refactor ExhaleHelper to use a local lambda expression for easier parameter management.
Diffstat (limited to 'Source/Dafny/Scanner.cs')
0 files changed, 0 insertions, 0 deletions