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/meta/annotation.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/test/lux/meta')

diff --git a/stdlib/source/test/lux/meta/annotation.lux b/stdlib/source/test/lux/meta/annotation.lux
index 3b5b4d635..af0ee2490 100644
--- a/stdlib/source/test/lux/meta/annotation.lux
+++ b/stdlib/source/test/lux/meta/annotation.lux
@@ -145,7 +145,7 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Annotation])
+      (_.for [/.Annotation])
       (do {! random.monad}
         [key ..random-key]
         ($_ _.and
-- 
cgit v1.2.3