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