aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/abstract/monad.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/abstract/monad.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/abstract/monad.lux b/stdlib/source/library/lux/abstract/monad.lux
index 6a07fe8a2..e5268e354 100644
--- a/stdlib/source/library/lux/abstract/monad.lux
+++ b/stdlib/source/library/lux/abstract/monad.lux
@@ -18,8 +18,8 @@
(def: (list#size xs)
(All (_ a) (-> (List a) Nat))
- (loop [counter 0
- xs xs]
+ (loop (again [counter 0
+ xs xs])
(case xs
{.#End}
counter