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

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

diff --git a/stdlib/source/test/aedifex/command/auto.lux b/stdlib/source/test/aedifex/command/auto.lux
index e27fd039a..fd08f541c 100644
--- a/stdlib/source/test/aedifex/command/auto.lux
+++ b/stdlib/source/test/aedifex/command/auto.lux
@@ -122,5 +122,5 @@
                                (in (#try.Success (and correct_number_of_runs!
                                                       no_dangling_process!)))))]
                   (_.cover' [/.do!]
-                            (try.default false verdict))))
+                            (try.else false verdict))))
             ))))
-- 
cgit v1.2.3