From 9f039e8a0a09e0278547d697efa018cd3fd68672 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 30 Jul 2021 01:12:05 -0400
Subject: More renamings.

---
 stdlib/source/test/aedifex/input.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(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 0cea854c4..e86efa6dd 100644
--- a/stdlib/source/test/aedifex/input.lux
+++ b/stdlib/source/test/aedifex/input.lux
@@ -63,4 +63,4 @@
                                     (update@ #//.repositories ..with_default_repository))
                                 actual)))]
               (_.cover' [/.read]
-                        (try.default false verdict)))))))
+                        (try.else false verdict)))))))
-- 
cgit v1.2.3