From ae2d5697d93a45dcbff768c32c4dc8fb291096cd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 7 Jan 2023 18:55:20 -0400
Subject: Now wrapping C++ values inside a universal box.

---
 stdlib/source/test/aedifex/artifact.lux | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact.lux b/stdlib/source/test/aedifex/artifact.lux
index 7e0d2c1cb..373393f2e 100644
--- a/stdlib/source/test/aedifex/artifact.lux
+++ b/stdlib/source/test/aedifex/artifact.lux
@@ -35,7 +35,8 @@
     (all random.and
          (random.lower_cased size)
          (random.lower_cased size)
-         (random.lower_cased size))))
+         (random.lower_cased size)
+         )))
 
 (def .public test
   Test
@@ -43,7 +44,9 @@
       (do random.monad
         [sample ..random])
       (_.for [/.Group /.Name /.Version
-              /.Artifact]
+              
+              /.Artifact
+              /.#group /.#name /.#version]
              (all _.and
                   (_.for [/.equivalence]
                          (equivalenceT.spec /.equivalence ..random))
-- 
cgit v1.2.3