From fd8ea1e1b9cae781abe42aeadda2e0ef149994d6 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 5 Nov 2022 21:23:20 -0400
Subject: Property-based testing can now log/print successful seeds from run.

---
 stdlib/source/library/lux/control/security/capability.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 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 e422ba4ed..bdcc86586 100644
--- a/stdlib/source/library/lux/control/security/capability.lux
+++ b/stdlib/source/library/lux/control/security/capability.lux
@@ -18,7 +18,7 @@
      ["<[1]>" \\parser]]
     ["[0]" macro (.only)
      [syntax (.only syntax)
-      ["|[0]|" export]
+      ["[0]" export]
       ["|[0]|" declaration]]]
     [type
      ["[0]" primitive (.except def)]]]]])
@@ -35,10 +35,10 @@
 
   (def .public capability
     (syntax (_ [[export_policy declaration [forger input output]]
-                (|export|.parser
-                 (all <>.and
-                      |declaration|.parser
-                      (<code>.form (all <>.and <code>.local <code>.any <code>.any))))])
+                (export.with
+                  (all <>.and
+                       |declaration|.parser
+                       (<code>.form (all <>.and <code>.local <code>.any <code>.any))))])
       (macro.with_symbols [g!_]
         (do [! meta.monad]
           [this_module meta.current_module_name
-- 
cgit v1.2.3