diff options
Diffstat (limited to 'stdlib/source/library/lux/control/concurrency/semaphore.lux')
-rw-r--r-- | stdlib/source/library/lux/control/concurrency/semaphore.lux | 4 |
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)] |