diff options
| author |  wuestholz <unknown> | 2013-05-29 17:45:48 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-29 17:45:48 -0700 |
| commit | 84670125bef08609d4c447c27f245fef530ebcd2 (patch) | |
| tree | cd87b5adccb94c21c640b07cac912aa954c033c3 /Source/BoogieDriver | |
| parent | 6a9e8449f14e8c3858ab0809036e68a0a43c2d4e (diff) | |
Minor change to prevent prover errors during trace extraction
Diffstat (limited to 'Source/BoogieDriver')
0 files changed, 0 insertions, 0 deletions