diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-11-15 23:58:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-11-15 23:58:41 +0000 |
commit | 759e85ae22536844a8c37714676bf9a65d7cc2b5 (patch) | |
tree | 9a04f014be38fc203a4b558020451b6cdec333a6 /src/printer/printer.cpp | |
parent | da6e14331b883dba0e48bc9879f611376e30bf36 (diff) |
cleanup from today's commits: delegate as-yet-unimplemented prettyprinters in a better way; fix arith Makefile
Diffstat (limited to 'src/printer/printer.cpp')
-rw-r--r-- | src/printer/printer.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index a2a9b3378..ca5935bec 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -34,17 +34,20 @@ Printer* Printer::makePrinter(OutputLanguage lang) { switch(lang) { case LANG_SMTLIB: - //return new printer::smt::SmtPrinter; + return new printer::smt::SmtPrinter; + case LANG_SMTLIB_V2: return new printer::smt2::Smt2Printer; + case LANG_CVC4: - //return new printer::cvc::CvcPrinter; + return new printer::cvc::CvcPrinter; + case LANG_AST: return new printer::ast::AstPrinter; + default: Unhandled(lang); } }/* Printer::makePrinter() */ }/* CVC4 namespace */ - |