diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/test/lux/type/refinement.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/type/refinement.lux b/stdlib/source/test/lux/type/refinement.lux index e919a93ca..1f44a90cf 100644 --- a/stdlib/source/test/lux/type/refinement.lux +++ b/stdlib/source/test/lux/type/refinement.lux @@ -27,7 +27,7 @@ Test (<| (_.covering /._) (_.for [/.Refined]) - (do {! random.monad} + (do [! random.monad] [raw random.nat modulus (\ ! each (|>> (n.% 10) (n.+ 2)) random.nat) .let [predicate (: (Predicate Nat) |