aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/control/concurrency/semaphore.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test/lux/control/concurrency/semaphore.lux')
-rw-r--r--stdlib/source/test/lux/control/concurrency/semaphore.lux5
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/test/lux/control/concurrency/semaphore.lux b/stdlib/source/test/lux/control/concurrency/semaphore.lux
index c14ddba68..4ff4babdc 100644
--- a/stdlib/source/test/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/test/lux/control/concurrency/semaphore.lux
@@ -23,9 +23,10 @@
["n" nat]
["[0]" i64]]]
[meta
- ["@" target]
[type
- ["[0]" refinement]]]
+ ["[0]" refinement]]
+ [compiler
+ ["@" target]]]
[test
["_" property (.only Test)]
["[0]" unit]]]]