diff --git a/src/mt_rng.cpp b/src/mt_rng.cpp index f61d8a2118d..ea91f1be61a 100644 --- a/src/mt_rng.cpp +++ b/src/mt_rng.cpp @@ -15,6 +15,7 @@ #include "mt_rng.hpp" #include "seed_rng.hpp" #include "config.hpp" +#include "formatter.hpp" #include "log.hpp" #include #include @@ -71,8 +72,8 @@ void mt_rng::seed_random(const uint32_t seed, const unsigned int call_count) random_seed_ = seed; mt_.seed(random_seed_); discard(call_count); //mt_.discard(call_count); - DBG_RND << "Seeded random with " << std::hex << random_seed_ << " with " - << random_calls_ << " calls." << std::endl; + DBG_RND << (formatter() << "Seeded random with " << std::hex << random_seed_ << " with " + << random_calls_ << " calls.").str() << std::endl; } void mt_rng::seed_random(const std::string & seed_str, const unsigned int call_count)