From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 lux-jvm/source/luxc/lang/translation/jvm/program.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/program.lux b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
index 1db9028d1..266938286 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/program.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/program.lux
@@ -79,12 +79,12 @@
                               (list)])
         class (artifact_name context)]
     [class
-     ($d.class #_.V1_6
-               #_.Public _.finalC
+     ($d.class {_.#V1_6}
+               {_.#Public} _.finalC
                class
                (list) ..^Object
                (list)
-               (|>> ($d.method #_.Public _.staticM "main" main_type
+               (|>> ($d.method {_.#Public} _.staticM "main" main_type
                                (|>> programI
                                     prepare_input_listI
                                     feed_inputsI
-- 
cgit v1.2.3