From f3c347622199012c7ffabc1ce26bb544e32df52b Mon Sep 17 00:00:00 2001 From: Christian Bauer Date: Fri, 7 Feb 2003 22:49:11 +0000 Subject: [PATCH] gcc 2.95 doesn't have the header --- ginac/numeric.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) 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()) { -- 2.44.0