From dec796a9838e39148c007f3f3d360964d7cb68de Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 10 Jul 2022 18:25:57 -0400
Subject: Better error reporting when analyzing variants.

---
 stdlib/source/test/lux/control/security/capability.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/test')

diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux
index d61e32bbe..ecc9d22ba 100644
--- a/stdlib/source/test/lux/control/security/capability.lux
+++ b/stdlib/source/test/lux/control/security/capability.lux
@@ -15,10 +15,10 @@
  [\\library
   ["[0]" /]])
 
-(/.capability: (Can_Shift a)
+(/.capability (Can_Shift a)
   (can_shift [a Nat] [a Nat]))
 
-(/.capability: Can_IO
+(/.capability Can_IO
   (can_io [] (IO Nat)))
 
 (def .public test
@@ -31,7 +31,7 @@
          pass_through (random.ascii 1)]
         (_.for [/.Capability]
                (all _.and
-                    (_.coverage [/.capability: /.use]
+                    (_.coverage [/.capability /.use]
                       (let [capability (..can_shift (function (_ [no_op raw])
                                                       [no_op (n.+ shift raw)]))
                             [untouched actual] (/.use capability [pass_through base])]
-- 
cgit v1.2.3