From 065e8a4d8122d4616b570496915d2c0e2c78cd6b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 11 Aug 2022 04:15:07 -0400
Subject: Re-named the "case" macro to "when".

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

(limited to 'stdlib/source/specification/aedifex/repository.lux')

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index f5f278e7c..3d8b90459 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -40,7 +40,7 @@
                 bad_download! (at subject download bad_uri)]
                (unit.coverage [/.Repository]
                  (let [successfull_flow!
-                       (case [good_upload! good_download!]
+                       (when [good_upload! good_download!]
                          [{try.#Success _} {try.#Success actual}]
                          (at binary.equivalence = expected actual)
 
@@ -48,7 +48,7 @@
                          false)
 
                        failed_flow!
-                       (case [bad_upload! bad_download!]
+                       (when [bad_upload! bad_download!]
                          [{try.#Failure _} {try.#Failure _}]
                          true
 
-- 
cgit v1.2.3