diff options
| author | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-08-08 17:56:15 -0400 |
| commit | f621a133e6e0a516c0586270fea8eaffb4829d82 (patch) | |
| tree | 399396ee2f6a10df10cea9b78c51c76679b70e59 /stdlib/source/test/lux/control/security | |
| parent | 17e7566be51df5e428a6b10e6469201a8a9468da (diff) | |
No more #export magic syntax.
Diffstat (limited to 'stdlib/source/test/lux/control/security')
| -rw-r--r-- | stdlib/source/test/lux/control/security/capability.lux | 2 | ||||
| -rw-r--r-- | stdlib/source/test/lux/control/security/policy.lux | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/control/security/capability.lux b/stdlib/source/test/lux/control/security/capability.lux index 6e2e5cd77..8c0a42952 100644 --- a/stdlib/source/test/lux/control/security/capability.lux +++ b/stdlib/source/test/lux/control/security/capability.lux @@ -21,7 +21,7 @@ (/.capability: Can_IO (can_io [] (IO Nat))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (do random.monad diff --git a/stdlib/source/test/lux/control/security/policy.lux b/stdlib/source/test/lux/control/security/policy.lux index e1cae710a..5c2f1bf67 100644 --- a/stdlib/source/test/lux/control/security/policy.lux +++ b/stdlib/source/test/lux/control/security/policy.lux @@ -66,7 +66,7 @@ (def: privilege privilege)))))) -(def: #export test +(def: .public test Test (<| (_.covering /._) (_.for [/.Policy |