diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux index 3fc98a592..6c6260ba4 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/synthesis/simple.lux @@ -17,7 +17,7 @@ [\\library ["[0]" /]]) -(def: .public random +(def .public random (Random /.Simple) (all random.or random.bit @@ -26,7 +26,7 @@ (random.lower_case 1) )) -(def: .public test +(def .public test Test (<| (_.covering /._) (_.for [/.Simple]) |