aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/concurrency/semaphore.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/concurrency/semaphore.lux')
-rw-r--r--stdlib/source/library/lux/control/concurrency/semaphore.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index 1c38e985b..d200c9d52 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
@@ -18,7 +18,7 @@
["n" nat]
["i" int]]]
[type
- ["[0]" primitive (.full)]
+ ["[0]" primitive (.except)]
["[0]" refinement]]]]
[//
["[0]" atom (.only Atom)]