diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-11-16 14:52:24 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-11-16 14:52:24 -0800 |
| commit | 8eb81c0042ba8969def9e4d2c69e1448e0aa40ec (patch) | |
| tree | e6014d0140fe56ce6ec9b2fca436fbaa5b0d9cf7 /BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt | |
| parent | 09f250265d20c322fd7c330b73a4a029f98b39b1 (diff) | |
Boogie: fixed build error (incorrect type in Contract.Result)
Diffstat (limited to 'BCT/RegressionTests/TranslationTest/SplitFieldsHeapInput.txt')
0 files changed, 0 insertions, 0 deletions