Index: libcfa/src/concurrency/ready_queue.cfa
===================================================================
--- libcfa/src/concurrency/ready_queue.cfa	(revision b7fd2db61a537f725f5de1d06ed1a78af5b48095)
+++ libcfa/src/concurrency/ready_queue.cfa	(revision b2fc7ad9ed2e454a52ddb04a94ed1a63293acd03)
@@ -131,4 +131,5 @@
 			/*paranoid*/ verify((((uintptr_t)&data[i]) % cache_line_size) == 0);
 			proc->id = i;
+			return;
 		}
 	}