diff options
author | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-12 00:07:08 -0400 |
commit | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (patch) | |
tree | 0f8b27697d58ab5c8e41aba7c7c9f769d3800767 /licentia/source/program/licentia.lux | |
parent | d48270f43c404ba19ca04da2553455ecaaf2caba (diff) |
Made the "#" character great again!
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index 21ba1bbfd..5ba705517 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -76,8 +76,8 @@ (\ ! each /output.license))))] (\ file.default write (\ utf8.codec encoded document) output)))] (wrap (debug.log! (case ?done - {#try.Success _} + {try.#Success _} (success_message output) - {#try.Failure message} + {try.#Failure message} message))))) |