Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision 3531e09f8fceb44579d8a442ddca53aaa2348d56)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision e0d6748bb5f7e562816d10ece75a71b7c6288fc5)
@@ -284,9 +284,4 @@
 // Ready-Queue API
 //-----------------------------------------------------------------------
-// pop thread from the ready queue of a cluster
-// returns 0p if empty
-__attribute__((hot)) bool query(struct cluster * cltr);
-
-//-----------------------------------------------------------------------
 // push thread onto a ready queue for a cluster
 // returns true if the list was previously empty, false otherwise
Index: libcfa/src/concurrency/ready_queue.cfa
===================================================================
--- libcfa/src/concurrency/ready_queue.cfa	(revision 3531e09f8fceb44579d8a442ddca53aaa2348d56)
+++ libcfa/src/concurrency/ready_queue.cfa	(revision e0d6748bb5f7e562816d10ece75a71b7c6288fc5)
@@ -204,8 +204,4 @@
 
 //-----------------------------------------------------------------------
-__attribute__((hot)) bool query(struct cluster * cltr) {
-	return true;
-}
-
 static inline [unsigned, bool] idx_from_r(unsigned r, unsigned preferred) {
 	unsigned i;