fix function signatures

2 files changed, 4 insertions, 6 deletions

diff --git a/src/printer/ast/ast_printer.cpp b/src/printer/ast/ast_printer.cpp
index cd9b0cad5..6cdf878a0 100644
--- a/src/printer/ast/ast_printer.cpp
+++ b/src/printer/ast/ast_printer.cpp
@@ -28,12 +28,12 @@ namespace CVC4 {
 namespace printer {
 namespace ast {
 
-std::ostream& AstPrinter::toStream(std::ostream& out, TNode n,
+void AstPrinter::toStream(std::ostream& out, TNode n,
                                    int toDepth, bool types) const {
   // null
   if(n.getKind() == kind::NULL_EXPR) {
     out << "null";
-    return out;
+    return;
   }
 
   // variable
@@ -55,7 +55,7 @@ std::ostream& AstPrinter::toStream(std::ostream& out, TNode n,
       n.getType().toStream(out, -1, false, language::output::LANG_AST);
     }
 
-    return out;
+    return;
   }
 
   out << '(' << n.getKind();
@@ -90,8 +90,6 @@ std::ostream& AstPrinter::toStream(std::ostream& out, TNode n,
     }
   }
   out << ')';
-
-  return out;
 }/* AstPrinter::toStream() */
 
 }/* CVC4::printer::ast namespace */
diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h
index 0851aef6c..f3d927cfb 100644
--- a/src/printer/ast/ast_printer.h
+++ b/src/printer/ast/ast_printer.h
@@ -31,7 +31,7 @@ namespace ast {
 
 class AstPrinter : public CVC4::Printer {
 public:
-  std::ostream& toStream(std::ostream& out, TNode n, int toDepth, bool types) const;
+  void toStream(std::ostream& out, TNode n, int toDepth, bool types) const;
 };/* class AstPrinter */
 
 }/* CVC4::printer::ast namespace */