diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 916f1dbc2..29e2725cf 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -895,7 +895,8 @@ item/1 random.nat item/2 random.nat] (all _.and - (_.coverage [/.Either] + (_.coverage [/.Either + /.#Left /.#Right] (and (exec (is (/.Either Nat Text) {.#Left left}) |