From de3e881b553bddfb4473a0cff9a12da5179a9360 Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Fri, 19 Jan 2024 16:43:44 +0000
Subject: [PATCH] readme order

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index ec78d8f0..c7e02254 100644
--- 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));
   }
 }