diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-07-01 17:56:07 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-07-01 17:56:07 -0700 |
| commit | d702c16829fd403ba9533263df7b140fabd9ec9f (patch) | |
| tree | 7fb2acd0047b1b79f52bc293e81e9d412b3fce30 /Binaries/DafnyPrelude.bpl | |
| parent | ea02e5263f9371a86984d15480ca59f114e789ea (diff) | |
Fixed bug of inappropriate Boogie name
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions