readme order

dafny-lang · Jan 19, 2024 · de3e881 · de3e881
1 parent 84a5ca5
commit de3e881
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -13,14 +13,13 @@ class Test {
   public static void main(String[] args) {
     DafnyVMC.Random r = new DafnyVMC.Random();
 
-    char[] arr = {'a', 'b', 'c'};
-    Rationals.Rational gamma = new Rationals.Rational(BigInteger.valueOf(3), BigInteger.valueOf(5));
-
     System.out.println("Example of Fisher-Yates: char");
+    char[] arr = {'a', 'b', 'c'};
     r.Shuffle(arr);
     System.out.println(Arrays.toString(arr));
 
     System.out.println("Example of Bernoulli sampling");
+    Rationals.Rational gamma = new Rationals.Rational(BigInteger.valueOf(3), BigInteger.valueOf(5));
     System.out.println(r.BernoulliSample(gamma));
   }
 }