From 3ca054b6b992e2233d763aabc5c938ee10d116a4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 4 Jan 2023 18:37:14 -0400
Subject: Added simple machinery for aliasing of definitions.

---
 stdlib/source/test/aedifex/dependency.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 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 6235282ee..02721cf35 100644
--- a/stdlib/source/test/aedifex/dependency.lux
+++ b/stdlib/source/test/aedifex/dependency.lux
@@ -3,8 +3,8 @@
   [lux (.except)
    [abstract
     [monad (.only do)]
-    [\\specification
-     ["$[0]" hash]]
+    ["[0]" hash
+     ["[1]T" \\test]]
     ["[0]" equivalence
      ["[1]T" \\test]]
     ["[0]" order
@@ -34,5 +34,5 @@
                   (_.for [/.order]
                          (orderT.spec /.order ..random))
                   (_.for [/.hash]
-                         ($hash.spec /.hash ..random))
+                         (hashT.spec /.hash ..random))
                   ))))
-- 
cgit v1.2.3