From 9ae7272d50b64dc9c8651e7a684abc007d4f2caf Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 8 Sep 2021 17:52:13 -0400
Subject: Post annotations clean-up.

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

(limited to 'stdlib/source/library/lux/control/security')

diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux
index 5d7ff9ebb..4bdab69c1 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -21,8 +21,7 @@
      ["[0]" code]
      [syntax {"+" [syntax:]}
       ["|[0]|" export]
-      ["|[0]|" declaration]
-      ["|[0]|" annotations]]]]])
+      ["|[0]|" declaration]]]]])
 
 (abstract: .public (Capability brand input output)
   (-> input output)
@@ -40,11 +39,10 @@
            output))
      ((:representation capability) input))
 
-   (syntax: .public (capability: [[export_policy declaration annotations [forger input output]]
+   (syntax: .public (capability: [[export_policy declaration [forger input output]]
                                   (|export|.parser
                                    ($_ <>.and
                                        |declaration|.parser
-                                       (<>.maybe |annotations|.parser)
                                        (<c>.form ($_ <>.and <c>.local_identifier <c>.any <c>.any))))])
      (macro.with_identifiers [g!_]
        (do [! meta.monad]
-- 
cgit v1.2.3