1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/control/concurrency/semaphore.lux b/stdlib/source/library/lux/control/concurrency/semaphore.lux
index e534fc2de..5661894ad 100644
--- a/stdlib/source/library/lux/control/concurrency/semaphore.lux
+++ b/stdlib/source/library/lux/control/concurrency/semaphore.lux
@@ -18,7 +18,7 @@
      ["n" nat]
      ["i" int]]]
    [type
-    ["[0]" abstract "*"]
+    ["[0]" primitive "*"]
     ["[0]" refinement]]]]
  [//
   ["[0]" atom {"+" Atom}]
@@ -30,7 +30,7 @@
     #open_positions Int
     #waiting_list (Queue (Resolver Any))]))
 
-(abstract: .public Semaphore
+(primitive: .public Semaphore
   (Atom State)
 
   (def: most_positions_possible
@@ -94,7 +94,7 @@
              (in {try.#Success (the #open_positions post)})))))))
   )
 
-(abstract: .public Mutex
+(primitive: .public Mutex
   Semaphore
 
   (def: .public (mutex _)
@@ -124,7 +124,7 @@
 (type: .public Limit
   (~ (refinement.type limit)))
 
-(abstract: .public Barrier
+(primitive: .public Barrier
   (Record
    [#limit Limit
     #count (Atom Nat)