From 91a1f21f3c75750217d272554bc8a341f075f82d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 15 Nov 2022 20:07:38 -0400
Subject: Now documenting dependers and dependees.

---
 stdlib/source/test/lux.lux | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'stdlib/source/test/lux.lux')

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})
-- 
cgit v1.2.3