From d0e4ba8124345ce990de7fdf7497dd903de6c342 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 30 Aug 2022 19:33:36 -0400
Subject: Got rid of the superfluous "lux macro" extension.

---
 stdlib/source/test/aedifex/hash.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index 7271458b9..ea6d6435e 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -37,11 +37,11 @@
 (def .public test
   Test
   (<| (_.covering /._)
-      (_.for [/.Hash /.SHA-1 /.MD5])
+      (_.for [/.Hash /.SHA1 /.MD5])
       (`` (all _.and
                (_.for [/.equivalence]
                       (all _.and
-                           ($equivalence.spec /.equivalence (..random /.sha-1))
+                           ($equivalence.spec /.equivalence (..random /.sha1))
                            ($equivalence.spec /.equivalence (..random /.md5))
                            ))
                (_.for [/.data]
@@ -65,14 +65,14 @@
                                              {try.#Failure error}
                                              (exception.match? <exception> error)))))]
 
-                                 [/.sha-1 /.as_sha-1 /.not_a_sha-1]
+                                 [/.sha1 /.as_sha1 /.not_a_sha1]
                                  [/.md5 /.as_md5 /.not_a_md5]
                                  ))))
                (,, (with_template [<codec> <hash>]
                      [(_.for [<codec>]
                              ($codec.spec /.equivalence <codec> (..random <hash>)))]
                      
-                     [/.sha-1_codec /.sha-1]
+                     [/.sha1_codec /.sha1]
                      [/.md5_codec /.md5]
                      ))
                (_.for [/.not_a_hash]
@@ -90,7 +90,7 @@
                                         {try.#Failure error}
                                         (exception.match? /.not_a_hash error))))]
 
-                                 [/.sha-1_codec /.sha-1]
+                                 [/.sha1_codec /.sha1]
                                  [/.md5_codec /.md5]
                                  ))))
                ))))
-- 
cgit v1.2.3