From 52d1159dbedd7ccf158fa53578d1916032a662ce Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 28 Dec 2017 19:54:06 -0400
Subject: - Added quotient types.

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

(limited to 'stdlib/test')

diff --git a/stdlib/test/tests.lux b/stdlib/test/tests.lux
index 12ab83fc0..b5dcf571a 100644
--- a/stdlib/test/tests.lux
+++ b/stdlib/test/tests.lux
@@ -87,7 +87,8 @@
        [macro]
        (macro (poly [json]))
        (type [unit]
-             [refinement])
+             [refinement]
+             [quotient])
        [world/env]
        [world/console])
   )
-- 
cgit v1.2.3