diff options
author | Rustan Leino <leino@microsoft.com> | 2013-02-02 10:43:10 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2013-02-02 10:43:10 -0800 |
commit | 10b0ded2e0d5d80bcce8d2acfa4fd60489c6cce7 (patch) | |
tree | a5c30a7ef3d0c6dfaa32b07eb0fded475a1df12c /Test/dafny3 | |
parent | 04c8cca7653c2952df11ada7ecd39069388fa5f1 (diff) |
Renamed a variable in some test cases
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions