default value

dafny-lang · Jul 29, 2024 · a6c45aa · a6c45aa
1 parent 8099ccd
commit a6c45aa
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
@@ -82,6 +82,10 @@ public dafny.Tuple2<java.math.BigInteger, Boolean> DiscreteGaussianSampleLoop(ja
     return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSampleLoop(this, num, den, t, mix);
   }
 
+  public java.math.BigInteger DiscreteGaussianSample(java.math.BigInteger num, java.math.BigInteger den, java.math.BigInteger mix) {
+    return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSample(this, num, den, mix);
+  }
+
   public java.math.BigInteger DiscreteGaussianSample(java.math.BigInteger num, java.math.BigInteger den) {
     return DafnyVMCTrait._Companion_RandomTrait.DiscreteGaussianSample(this, num, den, BigInteger.valueOf(7));
   }