diff --git a/src/rng.cpp b/src/rng.cpp index be2a31d4f57d7..2fcf17b7e2791 100644 --- a/src/rng.cpp +++ b/src/rng.cpp @@ -191,7 +191,8 @@ double rng_normal( double lo, double hi ) cata_default_random_engine::result_type rng_get_first_seed() { - static auto seed = std::chrono::high_resolution_clock::now().time_since_epoch().count(); + using rep = std::chrono::high_resolution_clock::rep; + static rep seed = std::chrono::high_resolution_clock::now().time_since_epoch().count(); return static_cast( seed ); }