propagate from branch 'net.randombit.botan' (head a5f25a3b954f24c5d07fa0dab6c4d76f63767165)

            to branch 'net.randombit.botan.c++0x' (head a365694b70b4b84ca713272d56d496acca351cb5)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/benchmark/benchmark.cpp b/src/benchmark/benchmark.cpp
index 348882b2a..2b0ed7cb6 100644
--- a/src/benchmark/benchmark.cpp
+++ b/src/benchmark/benchmark.cpp
@@ -148,7 +148,7 @@ algorithm_benchmark(const std::string& name,
       return all_results;
 
    const u64bit ns_per_provider =
-      ((u64bit)milliseconds * 1000 * 1000) / providers.size();
+      (static_cast<u64bit>(milliseconds) * 1000 * 1000) / providers.size();
 
    std::vector<byte> buf(16 * 1024);
    rng.randomize(&buf[0], buf.size());