diff options
| author | lloyd <[email protected]> | 2010-03-05 20:44:15 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2010-03-05 20:44:15 +0000 |
| commit | ea898c36c2361a2b40be0020001ff7fb532ce744 (patch) | |
| tree | 2214114417d0e3d48bcc4043f9897d1130c91d1d /checks/cvc_tests.cpp | |
| parent | e53e16d5b74ab6d79956c54502b25c11dd3be788 (diff) | |
Remove unused variable
Diffstat (limited to 'checks/cvc_tests.cpp')
0 files changed, 0 insertions, 0 deletions