summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Hořeňovský <martin.horenovsky@gmail.com>2020-01-14 14:05:50 +0100
committerGitHub <noreply@github.com>2020-01-14 14:05:50 +0100
commitbff44f8b0116e0ba1fa24fb5249d43c2639fbb64 (patch)
tree50a13016b2618d28d56898c84c4737686d43b84e
parentd10b9bd02e098476670f5eb0527d2c7281476e8a (diff)
parent4ea74ff9662177987606791b0a0391210b214848 (diff)
downloadcatch2-bff44f8b0116e0ba1fa24fb5249d43c2639fbb64.tar.gz
Merge pull request #1831 from matt77hias/master
Added <random> include for std::uniform_int_distribution
-rw-r--r--include/internal/benchmark/detail/catch_stats.hpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/internal/benchmark/detail/catch_stats.hpp b/include/internal/benchmark/detail/catch_stats.hpp
index e686c1aa..c05f9679 100644
--- a/include/internal/benchmark/detail/catch_stats.hpp
+++ b/include/internal/benchmark/detail/catch_stats.hpp
@@ -23,6 +23,7 @@
#include <cmath>
#include <utility>
#include <cstddef>
+#include <random>
namespace Catch {
namespace Benchmark {