diff options
| author |  rustanleino <unknown> | 2010-03-12 01:12:47 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-03-12 01:12:47 +0000 |
| commit | f6f0764776237f2083a54a5ac1005b89ca4954b7 (patch) | |
| tree | 1e2c33916c31c781b07eda0730c97dd6f12534e2 /Source/VCGeneration | |
| parent | 12c5cf9976f7c4993db5b930bf8bce0b64c428a1 (diff) | |
Boogie: Clone a TypedIdent to get rid of 'where' clauses during the translation of free variables of lambda expressions.
Diffstat (limited to 'Source/VCGeneration')
0 files changed, 0 insertions, 0 deletions