From cd71a864ad5be13ed6ec6d046e0a2cb1087bdf94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 10 Sep 2021 01:21:23 -0400
Subject: Migrated variants to the new syntax.

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

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
index 087ebfaff..a460ad96b 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/expression.lux
@@ -72,5 +72,5 @@
     (^ (synthesis.function/abstraction data))
     (function.function translate archive data)
 
-    (#synthesis.Extension extension)
+    {#synthesis.Extension extension}
     (extension.apply archive translate extension)))
-- 
cgit v1.2.3