From dda05bca0956af5e5b3875c4cc36e61aa04772e4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Sep 2021 00:07:08 -0400
Subject: Made the "#" character great again!

---
 licentia/source/program/licentia.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'licentia/source/program/licentia.lux')

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)))))
-- 
cgit v1.2.3