From 8141b41812e732ff086f07ef76c5b309fb768ccd Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 31 Oct 2017 23:40:13 -0400
Subject: - Fixed a bug when synthetizing pattern-matching.

---
 new-luxc/source/luxc/synthesizer.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/new-luxc/source/luxc/synthesizer.lux b/new-luxc/source/luxc/synthesizer.lux
index e6730c5a3..c43958890 100644
--- a/new-luxc/source/luxc/synthesizer.lux
+++ b/new-luxc/source/luxc/synthesizer.lux
@@ -68,7 +68,7 @@
     (case (list;reverse branchesA)
       (^multi (^ (list [(^code ("lux case bind" (~ [_ (#;Nat input-register)])))
                         (^code ((~ [_ (#;Int var)])))]))
-              (variableL;local? var)
+              (not (variableL;captured? var))
               (n.= input-register (int-to-nat var)))
       inputS
 
-- 
cgit v1.2.3