From 14287585025b2d8fff1991691def9e643b039ac8 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 10 Dec 2020 00:15:15 -0400
Subject: Re-named "with-cover" to "for".

---
 stdlib/source/test/aedifex/profile.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 7f95c07c2..1743a243a 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -133,12 +133,12 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Distribution /.License /.SCM /.Organization
-                     /.Email /.Developer /.Contributor /.Info
-                     /.Source /.Target /.Name /.Profile]
-        ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec /.equivalence ..random))
-            (_.with-cover [/.monoid]
-              ($monoid.spec /.equivalence /.monoid ..random))
-            ))))
+      (_.for [/.Distribution /.License /.SCM /.Organization
+              /.Email /.Developer /.Contributor /.Info
+              /.Source /.Target /.Name /.Profile]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
+                 (_.for [/.monoid]
+                        ($monoid.spec /.equivalence /.monoid ..random))
+                 ))))
-- 
cgit v1.2.3