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 8d375fad7..b154e9c20 100644 --- a/stdlib/source/lux/math/constructive.lux +++ b/stdlib/source/lux/math/constructive.lux @@ -149,7 +149,7 @@ (-> (~+ g!requisites) (~ meaning))))))) (syntax: #export (axiom {description (p.default "" s.text)}) - (wrap (.list (.` (.:!! []))))) + (wrap (.list (.` (.:assume []))))) (syntax: #export (theorem {type-vars type-vars} {[name inputs] theorem-declaration} |