diff options
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 */ - |