aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/array.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/data/collection/array.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/data/collection/array.lux b/stdlib/source/library/lux/data/collection/array.lux
index cef8b64c0..f3a0efe41 100644
--- a/stdlib/source/library/lux/data/collection/array.lux
+++ b/stdlib/source/library/lux/data/collection/array.lux
@@ -51,7 +51,7 @@
(def: .public (contains? index array)
(All (_ a)
(-> Nat (Array a) Bit))
- (not (!.lacks? index array)))
+ (!.has? index array))
(def: .public (update! index $ array)
(All (_ a)