From e00ba096c8837abe85d366e0c1293c09dbe84d81 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 18 Aug 2021 03:29:15 -0400
Subject: Some bug fixes.

---
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index ce9c56aed..71e9c514f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -75,7 +75,7 @@
 (def: .public (tagI lefts right?)
   (-> Nat Bit Inst)
   (case (if right?
-          (.inc lefts)
+          (.++ lefts)
           lefts)
     0 _.ICONST_0
     1 _.ICONST_1
-- 
cgit v1.2.3