diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-06-21 16:09:27 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-06-21 16:09:27 -0700 |
| commit | eb838d646d3e30688e729cedf44f3968979a0f5b (patch) | |
| tree | c2fd889faf75c3c478d633dc3de56e25fe310a2e /Binaries | |
| parent | af320026248b5c5b3f466a0bde56d26076d8666d (diff) | |
Dafny: bug fix in generating IsCanonicalBoolBox predicates
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions