diff options
| author | Eduardo Julian | 2021-07-17 22:48:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-07-17 22:48:54 -0400 |
| commit | 442d1557b879a8a4bd76f441f72a17bfb71cf05f (patch) | |
| tree | 7726138a487b3d64081c2cfdf99a564cf2b6ed7b /lux-jvm/source/luxc/lang/translation/jvm/function.lux | |
| parent | 2c99b4515447315d76a8dc203a2dbcafc09506ea (diff) | |
Now allowing compilers to generate custom-named outputs.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/function.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/function.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux index f524dc097..394b0b7b5 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux @@ -328,7 +328,7 @@ _ (generation.execute! directive) _ (case forced_context #.None - (generation.save! (product.right function_context) directive) + (generation.save! (product.right function_context) #.None directive) (#.Some function_context) (wrap []))] |