1 files changed, 4 insertions, 18 deletions
diff --git a/include/klee/ADT/RNG.h b/include/klee/ADT/RNG.h
index 1c8eed15..fc08e3b8 100644
--- a/include/klee/ADT/RNG.h
+++ b/include/klee/ADT/RNG.h
@@ -10,26 +10,12 @@
 #ifndef KLEE_RNG_H
 #define KLEE_RNG_H
 
-namespace klee {
-  class RNG {
-  private:
-    /* Period parameters */  
-    static const int N = 624;
-    static const int M = 397;
-    static const unsigned int MATRIX_A = 0x9908b0dfUL;   /* constant vector a */
-    static const unsigned int UPPER_MASK = 0x80000000UL; /* most significant w-r bits */
-    static const unsigned int LOWER_MASK = 0x7fffffffUL; /* least significant r bits */
-
-  private:
-    unsigned int mt[N]; /* the array for the state vector  */
-    int mti;
+#include <random>
 
-  public:
+namespace klee {
+  struct RNG : std::mt19937 {
     RNG();
-    explicit RNG(unsigned int seed);
-
-    /* set seed value */
-    void seed(unsigned int seed);
+    explicit RNG(RNG::result_type seed);
 
     /* generates a random number on [0,0xffffffff]-interval */
     unsigned int getInt32();