From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 stdlib/source/test/aedifex/project.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/test/aedifex/project.lux')

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 3d027eec7..291935293 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -27,7 +27,7 @@
 (def: profile
   (Random [//.Name //.Profile])
   (|> @profile.random
-      (random\map (set@ #//.parents (list)))
+      (random\map (with@ #//.parents (list)))
       (random.and (random.ascii/alpha 1))))
 
 (def: .public random
@@ -66,11 +66,11 @@
                     .let [project ($_ (\ /.monoid compose)
                                       (/.project super_name super_profile)
                                       (/.project dummy_name dummy_profile)
-                                      (/.project sub_name (set@ #//.parents (list super_name) sub_profile)))
+                                      (/.project sub_name (with@ #//.parents (list super_name) sub_profile)))
                           circular ($_ (\ /.monoid compose)
-                                       (/.project super_name (set@ #//.parents (list sub_name) super_profile))
+                                       (/.project super_name (with@ #//.parents (list sub_name) super_profile))
                                        (/.project dummy_name dummy_profile)
-                                       (/.project sub_name (set@ #//.parents (list super_name) sub_profile)))]]
+                                       (/.project sub_name (with@ #//.parents (list super_name) sub_profile)))]]
                    ($_ _.and
                        (_.cover [/.profile]
                                 (and (|> (/.profile super_name project)
-- 
cgit v1.2.3