aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/meta/type/implicit.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/library/lux/meta/type/implicit.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/meta/type/implicit.lux b/stdlib/source/library/lux/meta/type/implicit.lux
index 64bcb5469..835fff931 100644
--- a/stdlib/source/library/lux/meta/type/implicit.lux
+++ b/stdlib/source/library/lux/meta/type/implicit.lux
@@ -320,7 +320,7 @@
#1
_
- #0))
+ false))
(def (pair_list [l r])
(All (_ a) (-> [a a] (List a)))