From 74662caf09a43bf3057f89ea9f3f7c8163e09851 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 20 Aug 2019 22:26:23 -0400 Subject: Renamed "lux/target/jvm/descriptor" to "lux/target/jvm/type/descriptor". --- new-luxc/source/luxc/lang/translation/jvm/structure.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang/translation/jvm/structure.lux') diff --git a/new-luxc/source/luxc/lang/translation/jvm/structure.lux b/new-luxc/source/luxc/lang/translation/jvm/structure.lux index 92bf41256..e224f1f2f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/structure.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/structure.lux @@ -13,8 +13,8 @@ ["." list]]] [target [jvm - ["." descriptor] - ["$t" type (#+ Type)]]] + [type + ["." descriptor]]]] [tool [compiler [synthesis (#+ Synthesis)] -- cgit v1.2.3