From a59fc865aee240afe21b82ffef2681bb9a6ea693 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Jul 2018 02:30:13 -0400
Subject: Adapted new-luxc to some of the latest changes to Lux.

---
 new-luxc/source/luxc/lang/host/jvm/type.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'new-luxc/source/luxc/lang/host/jvm/type.lux')

diff --git a/new-luxc/source/luxc/lang/host/jvm/type.lux b/new-luxc/source/luxc/lang/host/jvm/type.lux
index 866ef1cef..57374337d 100644
--- a/new-luxc/source/luxc/lang/host/jvm/type.lux
+++ b/new-luxc/source/luxc/lang/host/jvm/type.lux
@@ -36,7 +36,7 @@
 (def: #export (array depth elemT)
   (-> Nat //.Type //.Type)
   (case depth
-    +0 elemT
+    0 elemT
     _ (#//.Array (array (dec depth) elemT))))
 
 (def: #export binary-name
-- 
cgit v1.2.3