diff options
Diffstat (limited to 'lib/Support')
| -rw-r--r-- | lib/Support/RNG.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
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<RNG::result_type> 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) {} |