diff options
Diffstat (limited to 'stdlib/source/test/lux/data/product.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/product.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/data/product.lux b/stdlib/source/test/lux/data/product.lux index 458264a0f..510c4aadf 100644 --- a/stdlib/source/test/lux/data/product.lux +++ b/stdlib/source/test/lux/data/product.lux @@ -3,8 +3,8 @@ [lux (.except) [abstract [monad (.only do)] - [\\specification - ["$[0]" equivalence]]] + ["[0]" equivalence + ["[1]T" \\test]]] [math ["[0]" random] [number @@ -26,7 +26,7 @@ random.nat)] (all _.and (_.for [/.equivalence] - ($equivalence.spec (/.equivalence n.equivalence i.equivalence) + (equivalenceT.spec (/.equivalence n.equivalence i.equivalence) (random.and random.nat random.int))) (do random.monad [left random.int |