diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/math/constructive.lux | 2 |
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?)) |