diff options
| author |  qunyanm <unknown> | 2016-02-12 19:16:15 -0800 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-02-12 19:16:15 -0800 |
| commit | d3063bebb513c36edcfd035b62308a917e4deecc (patch) | |
| tree | 006f855c1a98f0bbf6999af3ae1a7b5c7127e988 /Test/dafny0/snapshots/Snapshots4.run.dfy.expect | |
| parent | 91a0cf94be3cdfaff29d65122c9ea031a1a4976b (diff) | |
Update the test's .expect file since the fix is merged into boogie.
Diffstat (limited to 'Test/dafny0/snapshots/Snapshots4.run.dfy.expect')
0 files changed, 0 insertions, 0 deletions