From ccf40f5aea243b15b6c0d48777760d1686e200e2 Mon Sep 17 00:00:00 2001 From: Daniel Schemmel Date: Thu, 20 Apr 2023 20:23:08 +0100 Subject: ensure that the right mt19937 constructor is chosen during overload resolution --- lib/Support/RNG.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/Support/RNG.cpp b/lib/Support/RNG.cpp index 1523e123..c4268890 100644 --- a/lib/Support/RNG.cpp +++ b/lib/Support/RNG.cpp @@ -19,7 +19,7 @@ llvm::cl::opt RNGInitialSeed( llvm::cl::cat(klee::MiscCat)); } -RNG::RNG() : std::mt19937(RNGInitialSeed) { } +RNG::RNG() : std::mt19937(RNGInitialSeed.getValue()) { } RNG::RNG(RNG::result_type seed) : std::mt19937(seed) {} -- cgit 1.4.1