diff options
| author |  Unknown <pmueller@peter2.d.ethz.ch> | 2011-07-16 01:16:04 +0200 |
|---|---|---|
| committer | Unknown <pmueller@peter2.d.ethz.ch> | 2011-07-16 01:16:04 +0200 |
| commit | 2ac0f210996c33bef7075a5e27e805a2730311a6 (patch) | |
| tree | f35d3ad4b9fad453c52cee9b1a9c70acd8e55cce /Binaries/DafnyPrelude.bpl | |
| parent | 2f7dd71225c89e0901bf228203d88b73814d9354 (diff) | |
Suppress generation of Drop(s, 0). This expression caused unnecessary verification problems, even though the axioms should be sufficient to handle this case (and also trigger).
Diffstat (limited to 'Binaries/DafnyPrelude.bpl')
0 files changed, 0 insertions, 0 deletions