1 files changed, 36 insertions, 36 deletions
diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index ff9cc4ab2..1cfc7eb40 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -1,38 +1,38 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [monad {"+" do}]
-     [hash {"+" Hash}]
-     [\\specification
-      ["$[0]" equivalence]
-      ["$[0]" monoid]]]
-    [control
-     [pipe {"+" case>}]
-     ["[0]" try]
-     [parser
-      ["[0]" cli]]]
-    [data
-     ["[0]" text ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" set {"+" Set}]
-      ["[0]" dictionary {"+" Dictionary}]]]
-    [math
-     ["[0]" random {"+" Random} ("[1]#[0]" monad)]
-     [number
-      ["n" nat]]]]]
-  [//
-   ["@[0]" artifact]
-   ["@[0]" dependency]]
-  [\\program
-   ["[0]" /
-    ["/[1]" // "_"
-     ["[1][0]" runtime]
-     ["[1][0]" dependency {"+" Dependency}]
-     ["[1][0]" format]
-     [repository
-      [remote {"+" Address}]]]]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [monad {"+" do}]
+    [hash {"+" Hash}]
+    [\\specification
+     ["$[0]" equivalence]
+     ["$[0]" monoid]]]
+   [control
+    [pipe {"+" case>}]
+    ["[0]" try]
+    [parser
+     ["[0]" cli]]]
+   [data
+    ["[0]" text ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" set {"+" Set}]
+     ["[0]" dictionary {"+" Dictionary}]]]
+   [math
+    ["[0]" random {"+" Random} ("[1]#[0]" monad)]
+    [number
+     ["n" nat]]]]]
+ [//
+  ["@[0]" artifact]
+  ["@[0]" dependency]]
+ [\\program
+  ["[0]" /
+   ["/[1]" // "_"
+    ["[1][0]" runtime]
+    ["[1][0]" dependency {"+" Dependency}]
+    ["[1][0]" format]
+    [repository
+     [remote {"+" Address}]]]]])
 
 (def: distribution
   (Random /.Distribution)
@@ -154,10 +154,10 @@
                               (text#= "" /.default))
                      (_.cover [/.default_compiler]
                               (|> (# /.monoid identity)
-                                  (value@ /.#compiler)
+                                  (the /.#compiler)
                                   (same? /.default_compiler)))
                      (_.cover [/.default_target]
                               (|> (# /.monoid identity)
-                                  (value@ /.#target)
+                                  (the /.#target)
                                   (same? /.default_target)))
                      )))))