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/dependency.lux | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/dependency.lux b/stdlib/source/test/aedifex/dependency.lux
index 3a71c655a..6235282ee 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -4,8 +4,9 @@
    [abstract
     [monad (.only do)]
     [\\specification
-     ["$[0]" equivalence]
      ["$[0]" hash]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]
     ["[0]" order
      ["[1]T" \\test]]]
    [math
@@ -29,7 +30,7 @@
       (_.for [/.Dependency]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
-- 
cgit v1.2.3