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

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

diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 248023e80..7aeff7a18 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -110,9 +110,9 @@
   Test
   (<| (_.covering /._)
       (_.covering //format._)
-      (_.with-cover [/.project
-                     //format.Format //format.profile //format.project]
-        ($_ _.and
-            ..single-profile
-            ..multiple-profiles
-            ))))
+      (_.for [/.project
+              //format.Format //format.profile //format.project]
+             ($_ _.and
+                 ..single-profile
+                 ..multiple-profiles
+                 ))))
-- 
cgit v1.2.3