- fixed a small oops: iprint() didn't reset the number output format to decimal

[ginac.git] / INSTALL

diff --git a/INSTALL b/INSTALL
index a7ef9beb7766a483be1d610954054b77adb93204..1494739301671be686b566eab4c6110d91f80980 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -61,7 +61,7 @@ step:         | GCC optimization level:  | comment:
               |  -O0   |  -O1   |  -O2   |
 --------------+--------+--------+--------+-------------------------------
 make          |  ~4m   |  ~6m   |  ~10m  | building shared and static lib
-make check    |  ~2m   |  ~2m   |  ~7m   | mostly due to compilation
+make check    |  ~3m   |  ~3m   |  ~7m   | mostly due to compilation
 
 
 COMMON PROBLEMS