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/dafny0 | |
| parent | c2a39bbc960f0d90401138b0f44879e7b63605af (diff) | |
fix for comparison error in prelude when using /optimize.
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions