aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/lux/abstract/hash.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/specification/lux/abstract/hash.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux
index 935dc6a2d..29b5a2a2f 100644
--- a/stdlib/source/specification/lux/abstract/hash.lux
+++ b/stdlib/source/specification/lux/abstract/hash.lux
@@ -16,7 +16,7 @@
(do random.monad
[parameter random
subject random]
- (_.cover [/.Hash]
- (if (_#= parameter subject)
- (n.= (_#hash parameter) (_#hash subject))
- true))))
+ (_.coverage [/.Hash]
+ (if (_#= parameter subject)
+ (n.= (_#hash parameter) (_#hash subject))
+ true))))