From 224797231a8144f6ead1baab3b4b01a74cab629c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 21 Nov 2022 16:40:51 -0400
Subject: Added index section to documentation + re-named Primitive -> Nominal

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

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

diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux
index 29e2725cf..f009922e8 100644
--- a/stdlib/source/test/lux.lux
+++ b/stdlib/source/test/lux.lux
@@ -587,9 +587,9 @@
                    (same? expected)))
              (_.coverage [/.type_of]
                (same? /.Nat (/.type_of expected)))
-             (_.coverage [/.Primitive]
-               (when (/.Primitive "foo" [expected/0 expected/1])
-                 {.#Primitive "foo" (list actual/0 actual/1)}
+             (_.coverage [/.Nominal]
+               (when (/.Nominal "foo" [expected/0 expected/1])
+                 {.#Nominal "foo" (list actual/0 actual/1)}
                  (and (same? expected/0 actual/0)
                       (same? expected/1 actual/1))
 
-- 
cgit v1.2.3