From a4b64bf1cdf47160b6b615d2c6493039abfd7a94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Jul 2022 17:39:01 -0400
Subject: Extracted unit-testing machinery into its own module.

---
 stdlib/source/specification/compositor/analysis/type.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/specification/compositor/analysis')

diff --git a/stdlib/source/specification/compositor/analysis/type.lux b/stdlib/source/specification/compositor/analysis/type.lux
index 6675fad09..89ee8646f 100644
--- a/stdlib/source/specification/compositor/analysis/type.lux
+++ b/stdlib/source/specification/compositor/analysis/type.lux
@@ -56,8 +56,8 @@
     [[typeC exprT exprC] ..check
      [other_typeC other_exprT other_exprC] ..check]
     (all _.and
-         (_.property "lux check"
+         (_.test "lux check"
            (check_success+ expander state "lux check" (list typeC exprC) exprT))
-         (_.property "lux coerce"
+         (_.test "lux coerce"
            (check_success+ expander state "lux coerce" (list typeC other_exprC) exprT))
          )))
-- 
cgit v1.2.3