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.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/stdlib/source/test/aedifex.lux b/stdlib/source/test/aedifex.lux
index 8b859955e..c9ce5c95e 100644
--- a/stdlib/source/test/aedifex.lux
+++ b/stdlib/source/test/aedifex.lux
@@ -59,5 +59,5 @@
   (program args
     (<| io.io
         _.run!
-        (_.times 100)
+        (_.times 100 _.announce_success)
         ..test)))
-- 
cgit v1.2.3