From 34b2618c86c2b208c8145b845badf3b4ba0c77be Mon Sep 17 00:00:00 2001
From: Matthew Lutze <mlutze@users.noreply.github.com>
Date: Mon, 27 Apr 2026 09:45:30 +0200
Subject: [PATCH] chore: Iterator.iterate -> Iterator.unfoldWithIter

---
 test/Test/Property/ListSetGenerator.flix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/test/Test/Property/ListSetGenerator.flix b/test/Test/Property/ListSetGenerator.flix
index 49012b5..c28ec22 100644
--- a/test/Test/Property/ListSetGenerator.flix
+++ b/test/Test/Property/ListSetGenerator.flix
@@ -30,7 +30,7 @@ mod JonathanStarup.Test.Property.ListSetGenerator {
     def fromLengthIterator(rc: Region[r], length: Int32): Iterator[Int32, r + Random, r] \ r =
         use Ref.{fresh, get, transform};
         let runningLength = fresh(rc, length);
-        Iterator.iterate(rc, () -> {
+        Iterator.unfoldWithIter(rc, () -> {
             if (get(runningLength) <= 0) None
             else {
                 runningLength |> transform(Sub.sub(1));
@@ -50,7 +50,7 @@ mod JonathanStarup.Test.Property.ListSetGenerator {
         use Ref.{fresh, get, transform};
         let runningAmount = fresh(rc, amount);
         let runningLen = fresh(rc, 2);
-        let iter = Iterator.iterate(rc)(() -> {
+        let iter = Iterator.unfoldWithIter(rc)(() -> {
             if (get(runningAmount) <= 0) None
             else {
                 runningAmount |> transform(x -> x - 1);