From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 stdlib/source/test/aedifex/repository/identity.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 045136c43..971e18a4b 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -4,11 +4,11 @@
     ["_" test {"+" [Test]}]
     [abstract
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Identity)
-- 
cgit v1.2.3