From 8787650c4b1641832db9df2c35bc3046e886220e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 6 May 2018 00:45:45 -0400
Subject: - Updated new-luxc to the latest stdlib changes.

---
 new-luxc/source/luxc/lang/init.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'new-luxc/source/luxc/lang/init.lux')

diff --git a/new-luxc/source/luxc/lang/init.lux b/new-luxc/source/luxc/lang/init.lux
index a34399cc8..73b2baf0a 100644
--- a/new-luxc/source/luxc/lang/init.lux
+++ b/new-luxc/source/luxc/lang/init.lux
@@ -45,9 +45,9 @@
    #.expected        #.None
    #.seed            +0
    #.scope-type-vars (list)
-   #.extensions      (:! Void
+   #.extensions      (:! Bottom
                          {#extensionL.analysis analysisE.defaults
                           #extensionL.synthesis synthesisE.defaults
                           #extensionL.translation translationE.defaults
                           #extensionL.statement statementE.defaults})
-   #.host            (:! Void host)})
+   #.host            (:! Bottom host)})
-- 
cgit v1.2.3