type descriptor in java

dafny-lang · Mar 21, 2024 · cce45d4 · cce45d4
1 parent 68f2286
commit cce45d4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/interop/java/Full/Random.java b/src/interop/java/Full/Random.java
@@ -43,8 +43,8 @@ public java.math.BigInteger UniformIntervalSample(java.math.BigInteger a, java.m
     return Uniform.Interface._Companion_Trait.UniformIntervalSample(this, a, b);
   }
 
-  public int UniformIntervalSample32(int a, int b) {
-    return Uniform.Interface._Companion_Trait32.UniformIntervalSample32(this, a, b);
+  public <__T>  int UniformIntervalSample32(dafny.TypeDescriptor<__T> _td___T, int a, int b) {
+    return Uniform.Interface._Companion_Trait32.UniformIntervalSample32(_td___T, this, a, b);
   }
 
   public java.math.BigInteger UniformSample(java.math.BigInteger n) {