From ef437d6584d8fd863c0dab276e5a3d4dc094767b Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 29 Aug 2021 21:59:48 -0400
Subject: De-taggification | part 0

---
 lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 5676fa5f9..76948ca72 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -64,13 +64,13 @@
 
 (import: java/lang/Byte
   ["#::."
-   (#static MAX_VALUE byte)
-   (#static MIN_VALUE byte)])
+   ("static" MAX_VALUE byte)
+   ("static" MIN_VALUE byte)])
 
 (import: java/lang/Short
   ["#::."
-   (#static MAX_VALUE short)
-   (#static MIN_VALUE short)])
+   ("static" MAX_VALUE short)
+   ("static" MIN_VALUE short)])
 
 (def: .public (tagI lefts right?)
   (-> Nat Bit Inst)
-- 
cgit v1.2.3