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