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