Fix some BigInteger stuff

nickbattle · Nov 7, 2023 · cec3a1e · cec3a1e
1 parent 5bd3331
commit cec3a1e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/examples/quickcheck/src/main/java/quickcheck/visitors/FixedRangeCreator.java b/examples/quickcheck/src/main/java/quickcheck/visitors/FixedRangeCreator.java
@@ -24,7 +24,6 @@
 
 package quickcheck.visitors;
 
-import java.math.BigInteger;
 import java.util.Collections;
 import java.util.List;
 import java.util.Vector;

diff --git a/examples/quickcheck/src/main/java/quickcheck/visitors/RangeCreator.java b/examples/quickcheck/src/main/java/quickcheck/visitors/RangeCreator.java
@@ -24,6 +24,7 @@
 
 package quickcheck.visitors;
 
+import java.math.BigInteger;
 import java.util.List;
 import java.util.Vector;
 
@@ -151,7 +152,7 @@ protected FunctionValue instantiate(TCFunctionType node)
 		}
 		else if (ptype.result instanceof TCNumericType)
 		{
-			body = new INIntegerLiteralExpression(new LexIntegerToken(1, node.location));
+			body = new INIntegerLiteralExpression(new LexIntegerToken(BigInteger.ONE, node.location));
 		}
 		else
 		{