Got rid of the superfluous "lux macro" extension.

1 files changed, 6 insertions, 6 deletions

diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index a83752014..d58f2d23e 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -35,7 +35,7 @@
   ("static" getInstance [java/lang/String] java/security/MessageDigest)
   (digest [[byte]] [byte]))
 
-(primitive .public SHA-1 Any)
+(primitive .public SHA1 Any)
 (primitive .public MD5 Any)
 
 (primitive .public (Hash h)
@@ -52,7 +52,7 @@
            (java/security/MessageDigest::digest [value])
            abstraction))]
 
-    [sha-1 ..SHA-1 "SHA-1"]
+    [sha1 ..SHA1 "SHA1"]
     [md5 ..MD5 "MD5"]
     )
 
@@ -71,7 +71,7 @@
        Nat
        <factor>)]
 
-    [20 sha-1::size]
+    [20 sha1::size]
     [16 md5::size]
     )
 
@@ -96,7 +96,7 @@
               ["Expected size" (%.nat <size>)]
               ["Actual size" (%.nat (binary.size data))])))]
 
-    [not_a_sha-1 ..sha-1::size]
+    [not_a_sha1 ..sha1::size]
     [not_a_md5 ..md5::size]
     )
 
@@ -107,7 +107,7 @@
          {try.#Success (abstraction data)}
          (exception.except <exception> [data])))]
 
-    [as_sha-1 SHA-1 ..sha-1::size ..not_a_sha-1]
+    [as_sha1 SHA1 ..sha1::size ..not_a_sha1]
     [as_md5 MD5 ..md5::size ..not_a_md5]
     )
 
@@ -158,7 +158,7 @@
         (def encoded (|>> representation ..encoded))
         (def decoded (..decoded <nat> <constructor>))))]
 
-    [sha-1_codec SHA-1 ..sha-1::size ..as_sha-1]
+    [sha1_codec SHA1 ..sha1::size ..as_sha1]
     [md5_codec MD5 ..md5::size ..as_md5]
     )