From 7444deb1b80d469280fcb0684d91c13f752a86d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 28 Nov 2020 21:40:29 -0400
Subject: Re-named "_.claim" to "_.cover'".

---
 stdlib/source/test/aedifex/input.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux
index c7f6a4282..9f85ea5af 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -57,5 +57,5 @@
                            (wrap (:: //.equivalence =
                                      (update@ #//.sources ..with-default-source expected)
                                      actual)))]
-                (_.claim [/.read]
-                         (try.default false verdict)))))))
+                (_.cover' [/.read]
+                          (try.default false verdict)))))))
-- 
cgit v1.2.3