From e4c1b1645fa1a62a0bf8c90723eab7be634dd67f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 16 Aug 2018 06:22:54 -0400
Subject: Extension-related fixes.

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

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux
index f250604b5..9579acaa3 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/expression.jvm.lux
@@ -67,4 +67,4 @@
     (function.function translate abstraction)
 
     (#synthesis.Extension extension)
-    (extension.apply translate extension)))
+    (extension.apply "Translation" translate extension)))
-- 
cgit v1.2.3