diff options
Diffstat (limited to 'src/printer/printer.cpp')
-rw-r--r-- | src/printer/printer.cpp | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 6714d355e..e3b2ed796 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -29,25 +29,26 @@ namespace CVC4 { Printer* Printer::d_printers[language::output::LANG_MAX]; -Printer* Printer::makePrinter(OutputLanguage lang) { +Printer* Printer::makePrinter(OutputLanguage lang) throw() { using namespace CVC4::language::output; switch(lang) { case LANG_SMTLIB: - return new printer::smt::SmtPrinter; + return new printer::smt::SmtPrinter(); case LANG_SMTLIB_V2: - return new printer::smt2::Smt2Printer; + 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; + return new printer::ast::AstPrinter(); default: Unhandled(lang); } + }/* Printer::makePrinter() */ }/* CVC4 namespace */ |