diff options
| author | Daniel Schemmel <daniel@schemmel.net> | 2023-04-20 20:23:08 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-04-20 21:22:30 +0100 |
| commit | ccf40f5aea243b15b6c0d48777760d1686e200e2 (patch) | |
| tree | af8546271c1fdfeef34de8bbb6839ebe90900688 /lib | |
| parent | 270ced85122f8f70e1847488bd333bd808721473 (diff) | |
| download | klee-ccf40f5aea243b15b6c0d48777760d1686e200e2.tar.gz | |
ensure that the right mt19937 constructor is chosen during overload resolution
Diffstat (limited to 'lib')
| -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) {} |