diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-04-14 19:11:42 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-04-14 19:11:42 +0000 |
| commit | 7e289e28e54afa144032048443202a88fa124cb5 (patch) | |
| tree | a2eb92cb39704346d1159b8e533499d3429dbbab /src/printer/smt2/smt2_printer.cpp | |
| parent | 08c5c6410ab89ffc1b7326347d11009e216676aa (diff) | |
fixing an uninitialized literal variable
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
0 files changed, 0 insertions, 0 deletions