diff options
author | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-08-31 10:54:41 -0700 |
---|---|---|
committer | Michael Lowell Roberts <mirobert@microsoft.com> | 2015-08-31 10:54:41 -0700 |
commit | 2a442cedb2d920cb45382af4add7f05270e31207 (patch) | |
tree | c1cf2bf36628936999eae6e13b9e60ddd192af86 /Test/dafny3 | |
parent | c2a39bbc960f0d90401138b0f44879e7b63605af (diff) |
fix for comparison error in prelude when using /optimize.
Diffstat (limited to 'Test/dafny3')
0 files changed, 0 insertions, 0 deletions