diff options
author | Eduardo Julian | 2017-10-31 19:09:47 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-10-31 19:09:47 -0400 |
commit | 6c753288a89eadb3f7d70a8844e466c48c809051 (patch) | |
tree | fb2837b32df793a66f5d93cf5de34296e8dbabcb /new-luxc/source/luxc/generator/procedure.jvm.lux | |
parent | f4ca44d9e155da79632415dbbf9c4ca9eb210f56 (diff) |
- Moved the "host" directory from under "generator" to under "luxc".
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/generator/procedure.jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/generator/procedure.jvm.lux b/new-luxc/source/luxc/generator/procedure.jvm.lux index cc10e45aa..973f0e968 100644 --- a/new-luxc/source/luxc/generator/procedure.jvm.lux +++ b/new-luxc/source/luxc/generator/procedure.jvm.lux @@ -5,8 +5,8 @@ text/format (coll [dict]))) (luxc ["&" base] - (lang ["ls" synthesis]) - (generator (host ["$" jvm]))) + (host ["$" jvm]) + (lang ["ls" synthesis])) (. ["./;" common] ["./;" host])) |