add back constructor with supplier argument

dafny-lang · Feb 21, 2024 · fbd3f5e · fbd3f5e
1 parent efa003f
commit fbd3f5e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/interop/java/Full/Random.java b/src/interop/java/Full/Random.java
@@ -12,6 +12,10 @@ public Random() {
     this.rng = ThreadLocal.withInitial(Random::createSecureRandom);
   }
 
+  public Random(Supplier<SecureRandom> supplier) {
+    this.rng = ThreadLocal.withInitial(supplier);
+  }
+
   private static final SecureRandom createSecureRandom() {
     final SecureRandom rng = new SecureRandom();
     // Required for proper initialization