From 9a82ab5aeea680ed00dc497116f08aa417eb7013 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 22 Jan 2016 01:39:58 -0400
Subject: - Updated the IO type in lux.type to reflect the new version of the
 IO type at lux/codata/io.

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

diff --git a/src/lux/type.clj b/src/lux/type.clj
index cae91e588..a617a4483 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -57,9 +57,9 @@
 (def Ident (Named$ (&/T ["lux" "Ident"]) (Prod$ Text Text)))
 
 (def IO
-  (Named$ (&/T ["lux/data" "IO"])
+  (Named$ (&/T ["lux/codata" "IO"])
           (Univ$ empty-env
-                 (Lambda$ Unit (Bound$ 1)))))
+                 (Lambda$ $Void (Bound$ 1)))))
 
 (def List
   (Named$ (&/T ["lux" "List"])
-- 
cgit v1.2.3