diff options
Diffstat (limited to '')
-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 []))] |