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/procedure/common.lux | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux') diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux index dbf3a13be..6e7891460 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.lux @@ -16,7 +16,8 @@ ["." dictionary]]] [target [jvm - ["." descriptor]]] + [type + ["." descriptor]]]] [tool [compiler ["." synthesis (#+ Synthesis %synthesis)] -- cgit v1.2.3