diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/specification/lux/abstract/functor.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/specification/lux/abstract/functor.lux b/stdlib/source/specification/lux/abstract/functor.lux index d0f8327d5..c64be9401 100644 --- a/stdlib/source/specification/lux/abstract/functor.lux +++ b/stdlib/source/specification/lux/abstract/functor.lux @@ -31,8 +31,8 @@ Test)) (<| (do [! random.monad] [sample random.nat - increase (at ! each n.+ random.nat) - decrease (at ! each n.- random.nat)]) + increase (of ! each n.+ random.nat) + decrease (of ! each n.- random.nat)]) (_.for [/.Functor]) (_.coverage [/.each] (let [(open "/#[0]") functor |