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/repository/identity.lux | 6 +++---
 stdlib/source/test/aedifex/repository/origin.lux   | 6 +++---
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/test/aedifex/repository')

diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 8fd54bad8..d82082834 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -2,8 +2,8 @@
  [library
   [lux (.except)
    [abstract
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random)]]
    [test
@@ -24,5 +24,5 @@
       (_.for [/.User /.Password /.Identity]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   ))))
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index e07040106..238e0aad2 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -2,8 +2,8 @@
  [library
   [lux (.except)
    [abstract
-    [\\specification
-     ["$[0]" equivalence]]]
+    ["[0]" equivalence
+     ["[1]T" \\test]]]
    [math
     ["[0]" random (.only Random)]]
    [test
@@ -24,5 +24,5 @@
       (_.for [/.Origin]
              (all _.and
                   (_.for [/.equivalence]
-                         ($equivalence.spec /.equivalence ..random))
+                         (equivalenceT.spec /.equivalence ..random))
                   ))))
-- 
cgit v1.2.3