diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/data/collection/set/multi.lux | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/stdlib/source/test/lux/data/collection/set/multi.lux b/stdlib/source/test/lux/data/collection/set/multi.lux index feea35e2f..4e1cd4f48 100644 --- a/stdlib/source/test/lux/data/collection/set/multi.lux +++ b/stdlib/source/test/lux/data/collection/set/multi.lux @@ -5,10 +5,9 @@ [hash (#+ Hash)] [monad (#+ do)] ["." predicate] - {[0 #spec] - [/ - ["$." equivalence] - ["$." hash]]}] + [\spec + ["$." equivalence] + ["$." hash]]] [data ["." bit ("#\." equivalence)] [collection @@ -18,8 +17,8 @@ ["." random (#+ Random)] [number ["n" nat]]]] - {1 - ["." /]}) + [\\ + ["." /]]) (def: count (Random Nat) |