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/hash.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/hash.lux b/stdlib/source/test/aedifex/hash.lux
index bc6bb1b4b..745ec0910 100644
--- a/stdlib/source/test/aedifex/hash.lux
+++ b/stdlib/source/test/aedifex/hash.lux
@@ -29,9 +29,9 @@
   (All [h]
     (-> (-> Binary (/.Hash h))
         (Random (/.Hash h))))
-  (do {@ random.monad}
-    [size (:: @ map (n.% 100) random.nat)]
-    (:: @ map hash (_binary.random size))))
+  (do {! random.monad}
+    [size (:: ! map (n.% 100) random.nat)]
+    (:: ! map hash (_binary.random size))))
 
 (def: #export test
   Test
-- 
cgit v1.2.3