From 6faa1dc08e887e3d9e0a2d0b1be6ccd50fc19422 Mon Sep 17 00:00:00 2001
From: Christian Bauer <Christian.Bauer@uni-mainz.de>
Date: Thu, 30 Sep 2004 17:38:57 +0000
Subject: [PATCH] dbgprint() now uses a print_dflt

---
 ginac/basic.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ginac/basic.cpp b/ginac/basic.cpp
index 3a276841..98ba54d2 100644
--- a/ginac/basic.cpp
+++ b/ginac/basic.cpp
@@ -207,7 +207,7 @@ void basic::do_print_python_repr(const print_python_repr & c, unsigned level) co
  *  @see basic::dbgprinttree */
 void basic::dbgprint() const
 {
-	this->print(std::cerr);
+	this->print(print_dflt(std::cerr));
 	std::cerr << std::endl;
 }
 
-- 
2.44.0