From 9ca82858b0e15800972ca7b2a776190a8d4b371c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 29 May 2017 22:01:12 -0400
Subject: - Small refactorings.

---
 stdlib/test/test/lux/type.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/test')

diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux
index e0087960f..543484bb8 100644
--- a/stdlib/test/test/lux/type.lux
+++ b/stdlib/test/test/lux/type.lux
@@ -149,8 +149,8 @@
                                 (and (n.= size flat-size)
                                      (&/= extra flat-body))))]
 
-                     ["universally-quantified"   &;univq &;flatten-univq]
-                     ["existentially-quantified" &;exq   &;flatten-exq]
+                     ["universally-quantified"   &;univ-q &;flatten-univ-q]
+                     ["existentially-quantified" &;ex-q   &;flatten-ex-q]
                      )]
     ($_ seq
         <quant-tests>
-- 
cgit v1.2.3