Fix -Wc++11-extensions warning after #26737

Fixes #26769.
This commit is contained in:
Rémi Verschelde
2019-03-07 22:45:47 +01:00
parent 91fb807088
commit bce56cf337
2 changed files with 3 additions and 2 deletions

View File

@ -37,7 +37,7 @@
class RandomPCG {
pcg32_random_t pcg;
uint64_t current_seed = DEFAULT_SEED; // seed with this to get the same state
uint64_t current_seed; // seed with this to get the same state
public:
static const uint64_t DEFAULT_SEED = 12047754176567800795U;