Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision d3261710b857b8b3330e422f717eda5f7af70d4e)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 1612315240e2c22cd1c91ac79e6f50519f41cbe1)
@@ -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);