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