From ad1391ea1cdd33167339d25dbff2567f5a8d5c68 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 23 Dec 2022 20:58:58 -0400
Subject: Began work on C++ back-end.

---
 stdlib/source/test/aedifex/hash.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 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 55cd89bba..fcdf07984 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" equivalence]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" codec
      ["[1]T" \\test]]]
    [control
@@ -42,8 +42,8 @@
       (`` (all _.and
                (_.for [/.equivalence]
                       (all _.and
-                           ($equivalence.spec /.equivalence (..random /.sha1))
-                           ($equivalence.spec /.equivalence (..random /.md5))
+                           (equivalenceT.spec /.equivalence (..random /.sha1))
+                           (equivalenceT.spec /.equivalence (..random /.md5))
                            ))
                (_.for [/.data]
                       (all _.and
-- 
cgit v1.2.3