diff options
Diffstat (limited to 'stdlib/source/lux/math/constructive.lux')
| -rw-r--r-- | stdlib/source/lux/math/constructive.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/math/constructive.lux b/stdlib/source/lux/math/constructive.lux index c360a0552..4cc1a839e 100644 --- a/stdlib/source/lux/math/constructive.lux +++ b/stdlib/source/lux/math/constructive.lux @@ -188,9 +188,9 @@ (#True p) (#False (not p))) -(exception: #export Absurdity) +(exception: #export absurd) (.def: #export absurdity (.All [p] (-> p .Bottom)) (.function (_ proof) - (.error! (ex.construct Absurdity [])))) + (.error! (ex.construct absurd [])))) |