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/resolution.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 0b3bf1634..08bbaa4a4 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -357,10 +357,10 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Resolution])
+      (_.for [/.Resolution])
       ($_ _.and
-          (_.with-cover [/.equivalence]
-            ($equivalence.spec /.equivalence ..random))
+          (_.for [/.equivalence]
+                 ($equivalence.spec /.equivalence ..random))
 
           (_.cover [/.empty]
                    (dictionary.empty? /.empty))
-- 
cgit v1.2.3