Removing C++ rng dependencies

leanprover · Aug 15, 2024 · 18ccbf1 · 18ccbf1
1 parent b84302d
commit 18ccbf1
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/ffi.cpp b/ffi.cpp
@@ -8,12 +8,6 @@ Authors: Jean-Baptiste Tristan
 #include <unistd.h>
 #include <random>
 
-#ifdef __APPLE__
-    std::random_device generator;
-#else
-    std::mt19937_64 generator(time(NULL));
-#endif
-
 int urandom;
 
 extern "C" lean_object * prob_UniformByte (lean_object * eta) {