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

(limited to 'stdlib/source/test/lux/data/collection/dictionary/ordered.lux')

diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 01920fa1c..1553f2266 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -40,7 +40,7 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Dictionary])
+      (_.for [/.Dictionary])
       (do {! random.monad}
         [size (\ ! map (n.% 100) random.nat)
          keys (random.set n.hash size random.nat)
@@ -62,8 +62,8 @@
                                                             (n.= vr vs)))))
                (^open "/\.") (/.equivalence n.equivalence)]]
         ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size)))
+            (_.for [/.equivalence]
+                   ($equivalence.spec (/.equivalence n.equivalence) (..dictionary n.order random.nat random.nat size)))
             
             (_.cover [/.size]
                      (n.= size (/.size sample)))
-- 
cgit v1.2.3