diff options
Diffstat (limited to 'stdlib/source/test/lux/math/number/nat.lux')
-rw-r--r-- | stdlib/source/test/lux/math/number/nat.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/math/number/nat.lux b/stdlib/source/test/lux/math/number/nat.lux index 54471e9b3..a29ce19a3 100644 --- a/stdlib/source/test/lux/math/number/nat.lux +++ b/stdlib/source/test/lux/math/number/nat.lux @@ -34,7 +34,7 @@ ($enum.spec /.enum random.nat)) (_.for [/.interval] ($interval.spec /.interval random.nat)) - (~~ (template [<composite> <monoid>] + (~~ (with_template [<composite> <monoid>] [(_.for [<monoid> <composite>] ($monoid.spec /.equivalence <monoid> random.nat))] @@ -44,7 +44,7 @@ [/.min /.minimum] [/.max /.maximum] )) - (~~ (template [<codec>] + (~~ (with_template [<codec>] [(_.for [<codec>] ($codec.spec /.equivalence <codec> random.nat))] |