aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/math/constructive.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/math/constructive.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/math/constructive.lux b/stdlib/source/lux/math/constructive.lux
index f9192bdee..25fd6a29f 100644
--- a/stdlib/source/lux/math/constructive.lux
+++ b/stdlib/source/lux/math/constructive.lux
@@ -120,7 +120,7 @@
{}
- .Unit))))
+ .Top))))
(#.Some meaning)
(wrap (.list (.` (.type: (~+ (scw.export export?))