aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/abstract/hash.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/abstract/hash.lux')
-rw-r--r--stdlib/source/test/lux/abstract/hash.lux2
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/abstract/hash.lux b/stdlib/source/test/lux/abstract/hash.lux
index c527fb9c9..d9ddadabe 100644
--- a/stdlib/source/test/lux/abstract/hash.lux
+++ b/stdlib/source/test/lux/abstract/hash.lux
@@ -24,7 +24,7 @@
[leftN random.nat
rightN random.nat
#let [hash (: (Equivalence (/.Hash Nat))
- (structure
+ (implementation
(def: (= (^open "left\.") (^open "right\."))
(and (bit\= (left\= (left\hash leftN) (left\hash leftN))
(right\= (right\hash leftN) (right\hash leftN)))