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/dependency.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index e7388189c..95fec9800 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -22,8 +22,8 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Dependency]
-        ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec /.equivalence ..random))
-            ))))
+      (_.for [/.Dependency]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..random))
+                 ))))
-- 
cgit v1.2.3