From bf53ee92fc3c33a4885aa227e55d24f7ba3cb2c4 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 16 Mar 2022 08:37:23 -0400
Subject: De-sigil-ification: prefix :

---
 licentia/source/test/licentia.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index e721d58f1..c753cd555 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -288,9 +288,9 @@
   (do random.monad
     [license ..license
      #let [writ (output.license license)
-           present? (: (-> Text Bit)
-                       (function (_ snippet)
-                         (text.contains? snippet writ)))]]
+           present? (is (-> Text Bit)
+                        (function (_ snippet)
+                          (text.contains? snippet writ)))]]
     ($_ _.and
         (_.test "Copyright notices are present."
                 (list.every? (|>> notice.copyright_holder present?)
-- 
cgit v1.2.3