diff options
| author | Eduardo Julian | 2019-03-30 21:45:45 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-03-30 21:45:45 -0400 |
| commit | 118895081d97279a796cc704e6c23bf92ed79e5e (patch) | |
| tree | 1ea654e3f913bfc5f978bba46620c535e7a4a7bc /new-luxc/source/luxc/lang/host/jvm.lux | |
| parent | 5009bfaa56119a58e675a1e6008623790b54cc1c (diff) | |
Re-named "do-template" to "template".
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/host/jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux index 32a24452d..71e887d4d 100644 --- a/new-luxc/source/luxc/lang/host/jvm.lux +++ b/new-luxc/source/luxc/lang/host/jvm.lux @@ -96,7 +96,7 @@ (type: #export Host (translation.Host Inst Definition)) -(do-template [<name> <base>] +(template [<name> <base>] [(type: #export <name> (<base> ..Anchor Inst Definition))] |