Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision d3261710b857b8b3330e422f717eda5f7af70d4e)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 5f3ba117d89cd71b0b82121f2363d27a6752b378)
@@ -219,5 +219,4 @@
 
 	// Step 2 : acquire our local lock
-	/*paranoid*/ verify(!kernelTLS().sched_lock);
 	__atomic_acquire( &kernelTLS().sched_lock );
 	/*paranoid*/ verify(kernelTLS().sched_lock);