* Reworked timing output and increased some timing sizes.

[ginac.git] / check / time_fateman_expand.cpp

diff --git a/check/time_fateman_expand.cpp b/check/time_fateman_expand.cpp
index b0a88e22337758df53e56a170531f4a05d664ef4..f78e8215013c292fff02ca2341a51af15218e88d 100644 (file)
--- a/check/time_fateman_expand.cpp
+++ b/check/time_fateman_expand.cpp
@@ -66,7 +66,7 @@ unsigned time_fateman_expand()
        } else {
                cout << " failed ";
        }
-       cout << int(1000*(time/count))*0.001 << 's' << endl;
+       cout << time/count << 's' << endl;
 
        return result;
 }