remove imports

dafny-lang · Feb 21, 2024 · 51c8738 · 51c8738
1 parent d2d4497
commit 51c8738
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/java/CustomUniformSampleFaulty.java b/docs/java/CustomUniformSampleFaulty.java
@@ -1,8 +1,6 @@
 import Uniform.Interface.TraitMinus;
 import Uniform.Interface.Trait;
 import java.math.BigInteger;
-import java.security.SecureRandom;
-import java.util.Random;
 
 class CustomUniformSampleFaultyMinus implements Uniform.Interface.TraitMinus {
   public BigInteger UniformSample(BigInteger n) {