* Reworked timing output and increased some timing sizes.
[ginac.git] / check / time_fateman_expand.cpp
index b0a88e2..f78e821 100644 (file)
@@ -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;
 }