From e53c1a090eb9cfac3cb23d10d981648d02518ed1 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 13 Aug 2021 04:18:57 -0400
Subject: Made program: specify its bindings the same way as syntax:.

---
 stdlib/source/program/aedifex/action.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stdlib/source/program/aedifex/action.lux')

diff --git a/stdlib/source/program/aedifex/action.lux b/stdlib/source/program/aedifex/action.lux
index 55994c67b..41d168b97 100644
--- a/stdlib/source/program/aedifex/action.lux
+++ b/stdlib/source/program/aedifex/action.lux
@@ -13,4 +13,4 @@
 
 (def: .public monad
   (Monad Action)
-  (:assume (try.with async.monad)))
+  (:expected (try.with async.monad)))
-- 
cgit v1.2.3