From dccb255173d47655b5ff88264a32ffa6a753ae20 Mon Sep 17 00:00:00 2001
From: nick_battle <nick.battle@gmail.com>
Date: Sun, 10 Sep 2023 18:36:16 +0100
Subject: [PATCH] Updated FixedRangeTest for high precision

---
 examples/quickcheck/src/test/java/tests/FixedRangeTest.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/quickcheck/src/test/java/tests/FixedRangeTest.java b/examples/quickcheck/src/test/java/tests/FixedRangeTest.java
index 103574004..eb86697e4 100644
--- a/examples/quickcheck/src/test/java/tests/FixedRangeTest.java
+++ b/examples/quickcheck/src/test/java/tests/FixedRangeTest.java
@@ -122,7 +122,7 @@ public void testReal()
 	{
 		TCRealType type = new TCRealType(LexLocation.ANY);
 		ValueSet result = type.apply(new FixedRangeCreator(null), 2);
-		assertEquals("{1.0, 2.0}", result.toString());
+		assertEquals("{1, 2}", result.toString());
 		result = type.apply(new FixedRangeCreator(null), 5);
 		assertEquals(5, result.size());
 		result = type.apply(new FixedRangeCreator(null), 1001);