From 03b1085924b225d34d3b11f1a442b0b5d926c417 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 2 Nov 2020 17:31:39 -0400
Subject: Allow defining anonymous actors.

---
 stdlib/source/test/aedifex/profile.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/profile.lux b/stdlib/source/test/aedifex/profile.lux
index 398a85f5b..d0da1ff2a 100644
--- a/stdlib/source/test/aedifex/profile.lux
+++ b/stdlib/source/test/aedifex/profile.lux
@@ -70,8 +70,8 @@
 
 (def: (list-of random)
   (All [a] (-> (Random a) (Random (List a))))
-  (do {@ random.monad}
-    [size (:: @ map (n.% 5) random.nat)]
+  (do {! random.monad}
+    [size (:: ! map (n.% 5) random.nat)]
     (random.list size random)))
 
 (def: (set-of hash random)
-- 
cgit v1.2.3