From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 12:49:52 -0400
Subject: De-taggification | part 2

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

(limited to 'lux-jvm/source/luxc/lang/synthesis/variable.lux')

diff --git a/lux-jvm/source/luxc/lang/synthesis/variable.lux b/lux-jvm/source/luxc/lang/synthesis/variable.lux
index 1fa63446e..73f1e031d 100644
--- a/lux-jvm/source/luxc/lang/synthesis/variable.lux
+++ b/lux-jvm/source/luxc/lang/synthesis/variable.lux
@@ -6,7 +6,7 @@
                    ["s" set])))
   (luxc (lang ["la" analysis]
               ["ls" synthesis]
-              [".L" variable #+ Variable])))
+              [".L" variable {"+" [Variable]}])))
 
 (def: (bound-vars path)
   (-> ls.Path (List Variable))
-- 
cgit v1.2.3