From d0f8cc922207cd066a7a44aa3fa24fcd9158bbd0 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Sun, 16 Nov 2025 21:35:17 +1300 Subject: Improvements to Fresh and Take --- test/fivesix.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/fivesix.adb') diff --git a/test/fivesix.adb b/test/fivesix.adb index 3eabf6a..a17cbb1 100644 --- a/test/fivesix.adb +++ b/test/fivesix.adb @@ -39,9 +39,9 @@ begin Sixes.Unify (Sixes.Fresh, 6); Sixes.Recurse; - Result := Disjunct (Fives, Sixes).Take (5); + Result := Disjunct (Fives, Sixes); - TIO.Put_Line (Image (Result)); + TIO.Put_Line (Image (Result.Take (5))); end FiveSix; -- cgit