aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/aedifex/dependency/status.lux
diff options
context:
space:
mode:
authorEduardo Julian2021-07-02 03:11:36 -0400
committerEduardo Julian2021-07-02 03:11:36 -0400
commit5cf4efa861075f8276f43a2516f5beacaf610b44 (patch)
treee21cf528d960c29d22cbc7e41180fa09e62f16d6 /stdlib/source/program/aedifex/dependency/status.lux
parent744ee69630de59ca3ba660b0aab6361cd17ce1b4 (diff)
No longer employing the capabilities model on the lux/world/* modules.
Capabilities should be opt-in, but using them in the standard library makes them mandatory.
Diffstat (limited to 'stdlib/source/program/aedifex/dependency/status.lux')
-rw-r--r--stdlib/source/program/aedifex/dependency/status.lux6
1 files changed, 2 insertions, 4 deletions
diff --git a/stdlib/source/program/aedifex/dependency/status.lux b/stdlib/source/program/aedifex/dependency/status.lux
index 8c4db9ddd..f501ebc8b 100644
--- a/stdlib/source/program/aedifex/dependency/status.lux
+++ b/stdlib/source/program/aedifex/dependency/status.lux
@@ -27,12 +27,10 @@
..any_equivalence
($_ sum.equivalence
///hash.equivalence
- ///hash.equivalence
- )
+ ///hash.equivalence)
($_ product.equivalence
///hash.equivalence
- ///hash.equivalence
- )
+ ///hash.equivalence)
))
(def: #export (verified payload)