diff options
author | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-10-24 19:28:57 -0400 |
commit | 8d4c256f8b56561869c14df02db695d774c74fa6 (patch) | |
tree | 3acdc7e92008bbe8a74e84610ea4daebd292678a /stdlib/source/library/lux/control/security/capability.lux | |
parent | 45c599e49ae2659331d13222948f7e755967fdf9 (diff) |
Minor naming & syntax improvements.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/control/security/capability.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/control/security/capability.lux b/stdlib/source/library/lux/control/security/capability.lux index 48323d842..e422ba4ed 100644 --- a/stdlib/source/library/lux/control/security/capability.lux +++ b/stdlib/source/library/lux/control/security/capability.lux @@ -21,9 +21,9 @@ ["|[0]|" export] ["|[0]|" declaration]]] [type - [primitive (.except)]]]]]) + ["[0]" primitive (.except def)]]]]]) -(primitive .public (Capability brand input output) +(primitive.def .public (Capability brand input output) (-> input output) (def .public (use it input) |