From: Christian Bauer Date: Fri, 7 Feb 2003 22:49:11 +0000 (+0000) Subject: gcc 2.95 doesn't have the header X-Git-Tag: release_1-0-14~10 X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?a=commitdiff_plain;h=f3c347622199012c7ffabc1ce26bb544e32df52b;p=ginac.git gcc 2.95 doesn't have the header --- diff --git a/ginac/numeric.cpp b/ginac/numeric.cpp index e1156f06..0aeef27a 100644 --- a/ginac/numeric.cpp +++ b/ginac/numeric.cpp @@ -30,7 +30,6 @@ #include #include #include -#include #include "numeric.h" #include "ex.h" @@ -456,9 +455,9 @@ void numeric::print(const print_context & c, unsigned level) const // Set precision if (is_a(c)) - c.s.precision(std::numeric_limits::digits10 + 1); + c.s.precision(16); else - c.s.precision(std::numeric_limits::digits10 + 1); + c.s.precision(7); if (this->is_real()) {