diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-07-17 21:19:58 +0000 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-07-17 21:19:58 +0000 |
| commit | 2b83291d229c957e2becf7397d186040959602df (patch) | |
| tree | 3e3300af92ff26f425348cab38c7b3f19c3719b4 /src/printer/smt2/smt2_printer.cpp | |
| parent | a7091c61d6661079cfef6b489809579a0c6ac792 (diff) | |
minor fix to prevent getValue from returning null
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
0 files changed, 0 insertions, 0 deletions