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/parser.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/parser.lux b/stdlib/source/test/aedifex/parser.lux
index 0c85156d2..e26240562 100644
--- a/stdlib/source/test/aedifex/parser.lux
+++ b/stdlib/source/test/aedifex/parser.lux
@@ -38,8 +38,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: (dictionary-of key-hash key-random value-random)
-- 
cgit v1.2.3