naming issue, interface

Author: stefan-aws

src/Util/FisherYates/Interface.dfy

@@ -13,7 +13,7 @@ module FisherYates.Interface {
     method Shuffle<T>(a: array<T>)
       decreases *
       modifies `s, a
-    //ensures Model.Shuffle(old(a[..]))(old(s)) == Monad.Result(a[..], s)
+      ensures Model.Shuffle(old(a[..]))(old(s)) == Monad.Result(a[..], s)
 
   }
 }

src/interop/java/Full/Random.java

@@ -102,8 +102,8 @@ 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, BigInteger x, BigInteger y) {
-    FisherYates.Implementation._Companion_Trait.Shuffle(_td___T, this, a, x, y);
+  public <__T> void Swap(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a, java.math.BigInteger i, java.math.BigInteger j) {
+    FisherYates.Implementation._Companion_Trait.Swap(_td___T, this, a, i, j);
   }
 
 }