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/cli.lux | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux
index c4c76f32f..9118132cd 100644
--- a/stdlib/source/test/aedifex/cli.lux
+++ b/stdlib/source/test/aedifex/cli.lux
@@ -102,13 +102,13 @@
 (def: #export test
   Test
   (<| (_.covering /._)
-      (_.with-cover [/.Compilation /.Command]
-        ($_ _.and
-            (_.with-cover [/.equivalence]
-              ($equivalence.spec /.equivalence ..command))
+      (_.for [/.Compilation /.Command]
+             ($_ _.and
+                 (_.for [/.equivalence]
+                        ($equivalence.spec /.equivalence ..command))
 
-            (_.with-cover [/.command]
-              ($_ _.and
-                  ..without-profile
-                  ..with-profile
-                  ))))))
+                 (_.for [/.command]
+                        ($_ _.and
+                            ..without-profile
+                            ..with-profile
+                            ))))))
-- 
cgit v1.2.3