dbgprint() now uses a print_dflt
authorChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 30 Sep 2004 17:38:57 +0000 (17:38 +0000)
committerChristian Bauer <Christian.Bauer@uni-mainz.de>
Thu, 30 Sep 2004 17:38:57 +0000 (17:38 +0000)
ginac/basic.cpp

index 3a2768418c5705aa0e7cb8078e88fc70834c7254..98ba54d244cf19d12b143c4ae19d0f8d3d27fd0e 100644 (file)
@@ -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;
 }