From a2ebf0e89142cd554f9f77c22949060ef561241b Mon Sep 17 00:00:00 2001
From: stefan-aws <stefanze@amazon.com>
Date: Wed, 21 Feb 2024 21:16:39 +0000
Subject: [PATCH] remove file with typo

---
 docs/java/CustomFIsherYatesFaulty.java | 58 --------------------------
 1 file changed, 58 deletions(-)
 delete mode 100644 docs/java/CustomFIsherYatesFaulty.java

diff --git a/docs/java/CustomFIsherYatesFaulty.java b/docs/java/CustomFIsherYatesFaulty.java
deleted file mode 100644
index 82fb57ea..00000000
--- a/docs/java/CustomFIsherYatesFaulty.java
+++ /dev/null
@@ -1,58 +0,0 @@
-import Uniform.Interface.TraitMinus;
-import Uniform.Interface.Trait;
-import java.math.BigInteger;
-import java.security.SecureRandom;
-import java.util.Random;
-import dafny.TypeDescriptor;
-
-class CustomUniformSampleFaultyMinus implements Uniform.Interface.TraitMinus {  
-  public BigInteger UniformSample(BigInteger n) {
-    return BigInteger.valueOf(0);
-  }
-}
-
-class CustomUniformFaulty extends CustomUniformSampleFaultyMinus implements Uniform.Interface.Trait {
-  public java.math.BigInteger UniformIntervalSample(java.math.BigInteger a, java.math.BigInteger b) {
-    return Uniform.Interface._Companion_Trait.UniformIntervalSample(this, a, b);
-  }
-}
-
-class CustomFisherYatesMinusFaulty extends CustomUniformFaulty implements FisherYates.Implementation.Trait {
-  public <__T> void Shuffle(dafny.TypeDescriptor<__T> _td___T, java.lang.Object a) {
-    FisherYates.Implementation._Companion_Trait.Shuffle(_td___T, this, a);
-  }
-
-  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);
-  }
-}
-
-public class CustomFisherYatesFaulty extends CustomFisherYatesMinusFaulty {
-  public void Shuffle(BigInteger[] arr) {
-    this.Shuffle(TypeDescriptor.BIG_INTEGER, arr);
-  }
-
-  public void Shuffle(int[] arr) {
-    this.Shuffle(TypeDescriptor.INT, arr);
-  }
-
-  public void Shuffle(String[] arr) {
-    this.Shuffle(TypeDescriptor.CHAR_ARRAY, arr);
-  }
-
-  public void Shuffle(char[] arr) {
-    this.Shuffle(TypeDescriptor.CHAR, arr);
-  }
-
-  public void Shuffle(boolean[] arr) {
-    this.Shuffle(TypeDescriptor.BOOLEAN, arr);
-  }
-
-  public void Shuffle(long[] arr) {
-    this.Shuffle(TypeDescriptor.LONG, arr);
-  }
-
-  public void Shuffle(short[] arr) {
-    this.Shuffle(TypeDescriptor.SHORT, arr);
-  }
-}