diff options
Diffstat (limited to 'stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux')
-rw-r--r-- | stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux index 9735eda42..84c238ad7 100644 --- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux +++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux @@ -343,7 +343,7 @@ (def: #export test Test (<| (_.covering /._) - (_.with-cover [/.synthesize]) + (_.for [/.synthesize]) ($_ _.and ..masking-test ..let-test |