diff options
Diffstat (limited to 'stdlib/source/test/lux/type/quotient.lux')
-rw-r--r-- | stdlib/source/test/lux/type/quotient.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/type/quotient.lux b/stdlib/source/test/lux/type/quotient.lux index c8652e8c7..7c4f03923 100644 --- a/stdlib/source/test/lux/type/quotient.lux +++ b/stdlib/source/test/lux/type/quotient.lux @@ -18,7 +18,7 @@ (def: .public (random class super) (All (_ t c %) (-> (/.Class t c %) (Random t) (Random (/.Quotient t c %)))) - (# random.monad each (/.quotient class) super)) + (at random.monad each (/.quotient class) super)) (def: mod_10_class (/.class (|>> (n.% 10) %.nat))) |