From 1714be1b845c221008f694ad0d39eb33f7ddcb17 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 27 Dec 2016 05:53:49 -0400
Subject: - Fixed a bug in a test.

---
 stdlib/test/test/lux/type.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux
index ac606079b..4bf5de8ae 100644
--- a/stdlib/test/test/lux/type.lux
+++ b/stdlib/test/test/lux/type.lux
@@ -117,7 +117,7 @@
    extra (|> gen-type
              (R;filter (lambda [type]
                          (case type
-                           (^or (#;LambdaT _) (#;ProdT _))
+                           (^or (#;LambdaT _) (#;AppT _))
                            false
 
                            _
-- 
cgit v1.2.3