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/repository.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 55bd3af19..4da17a059 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -86,8 +86,8 @@
          invalid (random.filter (|>> (\ identity-equivalence = valid) not)
                                 ..identity)]
         ($_ _.and
-            (_.with-cover [/.mock /.Simulation]
-              ($/.spec valid (..artifact "1.2.3-YES")
-                       invalid (..artifact "4.5.6-NO")
-                       (/.mock (..simulation valid) ..empty)))
+            (_.for [/.mock /.Simulation]
+                   ($/.spec valid (..artifact "1.2.3-YES")
+                            invalid (..artifact "4.5.6-NO")
+                            (/.mock (..simulation valid) ..empty)))
             ))))
-- 
cgit v1.2.3