diff options
Diffstat (limited to 'stdlib/source/specification')
| -rw-r--r-- | stdlib/source/specification/lux/abstract/hash.lux | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/stdlib/source/specification/lux/abstract/hash.lux b/stdlib/source/specification/lux/abstract/hash.lux index 4722a48a0..e55c8b549 100644 --- a/stdlib/source/specification/lux/abstract/hash.lux +++ b/stdlib/source/specification/lux/abstract/hash.lux @@ -4,8 +4,6 @@ ["_" test (#+ Test)] [abstract [monad (#+ do)]] - [data - ["." bit ("#\." equivalence)]] [math ["." random (#+ Random)] [number @@ -19,5 +17,6 @@ [parameter random subject random] (_.cover [/.Hash] - (bit\= (\= parameter subject) - (n.= (\hash parameter) (\hash subject)))))) + (if (\= parameter subject) + (n.= (\hash parameter) (\hash subject)) + true)))) |