diff options
Diffstat (limited to 'stdlib/source/lux/math/constructive.lux')
| -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 5ecd8d0e2..762e15e31 100644 --- a/stdlib/source/lux/math/constructive.lux +++ b/stdlib/source/lux/math/constructive.lux @@ -194,4 +194,4 @@ (.def: #export absurdity (.All [p] (-> p .Bottom)) (.function [proof] - (.error! (Absurdity "")))) + (.error! (ex.construct Absurdity [])))) |