Changes in libcfa/src/concurrency/mutex_stmt.hfa [dd3576b:0d4f954]

File:

• libcfa/src/concurrency/mutex_stmt.hfa (modified) (1 diff)

libcfa/src/concurrency/mutex_stmt.hfa

@@ -4 +4 @@
 //-----------------------------------------------------------------------------
 // is_lock
-forall(L & | sized(L))
-trait is_lock {
+trait is_lock(L & | sized(L)) {
         // For acquiring a lock
         void lock( L & );