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