Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision c993b1521e96d36bed6b395f8eec5284bc85f5f5)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision e46ea00cef7e26153189f49972efcac508f71897)
@@ -261,5 +261,5 @@
 // push thread onto a ready queue for a cluster
 // returns true if the list was previously empty, false otherwise
-__attribute__((hot)) void push(struct cluster * cltr, struct $thread * thrd);
+__attribute__((hot)) void push(struct cluster * cltr, struct $thread * thrd, bool local);
 
 //-----------------------------------------------------------------------