diff options
Diffstat (limited to 'stdlib/source/test/lux/control/maybe.lux')
| -rw-r--r-- | stdlib/source/test/lux/control/maybe.lux | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/control/maybe.lux b/stdlib/source/test/lux/control/maybe.lux index a798c19aa..fe8528548 100644 --- a/stdlib/source/test/lux/control/maybe.lux +++ b/stdlib/source/test/lux/control/maybe.lux @@ -65,7 +65,8 @@ value random.nat] (_.cover [/.else] (and (same? default (/.else default - {.#None})) + (: (Maybe Nat) + {.#None}))) (same? value (/.else default {.#Some value}))))) |