aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/control/security/policy.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/control/security/policy.lux')
-rw-r--r--stdlib/source/lux/control/security/policy.lux4
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/source/lux/control/security/policy.lux b/stdlib/source/lux/control/security/policy.lux
index d210f91e1..69489b0da 100644
--- a/stdlib/source/lux/control/security/policy.lux
+++ b/stdlib/source/lux/control/security/policy.lux
@@ -34,7 +34,9 @@
(type: #export (Delegation brand from to)
{#.doc (doc "Represents the act of delegating policy capacities.")}
- (All [value] (-> (Policy brand value from) (Policy brand value to))))
+ (All [value]
+ (-> (Policy brand value from)
+ (Policy brand value to))))
(def: #export (delegation downgrade upgrade)
{#.doc (doc "Delegating policy capacities.")}