interop fix

stefan-aws · stefan-aws · commit 1ab3042d1ead · 2024-03-13T12:00:25.000Z
diff --git a/src/interop/java/Full/Random.java b/src/interop/java/Full/Random.java
@@ -142,7 +142,7 @@ public void Shuffle(short[] arr) {
     FisherYates.Implementation._Companion_Trait.Shuffle(TypeDescriptor.SHORT, this, arr);
   }
 
-  public <__T> void Swap(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a, java.math.BigInteger i, java.math.BigInteger j) {
+  public <__T> void Swap(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a, int i, int j) {
     FisherYates.Implementation._Companion_Trait.Swap(_td___T, this, a, i, j);
   }
     

Original file line number	Diff line number	Diff line change
`@@ -142,7 +142,7 @@ public void Shuffle(short[] arr) {`
`142`	`142`	`FisherYates.Implementation._Companion_Trait.Shuffle(TypeDescriptor.SHORT, this, arr);`
`143`	`143`	`}`
`144`	`144`
`145`		`- public <__T> void Swap(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a, java.math.BigInteger i, java.math.BigInteger j) {`
	`145`	`+ public <__T> void Swap(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a, int i, int j) {`
`146`	`146`	`FisherYates.Implementation._Companion_Trait.Swap(_td___T, this, a, i, j);`
`147`	`147`	`}`
`148`	`148`