1 files changed, 1 insertions, 2 deletions
diff --git a/lib/Expr/Expr.cpp b/lib/Expr/Expr.cpp
index bc871808..d58c9085 100644
--- a/lib/Expr/Expr.cpp
+++ b/lib/Expr/Expr.cpp
@@ -320,8 +320,7 @@ ref<Expr> Expr::createPointer(uint64_t v) {
 }
 
 void Expr::print(std::ostream &os) const {
-  const ref<Expr> tmp((Expr*)this);
-  ExprPPrinter::printOne(os, "", tmp);
+  ExprPPrinter::printSingleExpr(os, (Expr*)this);
 }
 
 /***/