Index: src/libcfa/concurrency/kernel.c
===================================================================
--- src/libcfa/concurrency/kernel.c	(revision 80c72a74b7b601bae8a1d23cc9a13665b1f15e5a)
+++ src/libcfa/concurrency/kernel.c	(revision 135b43118e38aa40c2f0cbfa16829e4b41313af7)
@@ -322,6 +322,6 @@
 void ScheduleThread( thread_desc * thrd ) {
 	// if( !thrd ) return;
-	assert( thrd );
-	assert( thrd->cor.state != Halted );
+	verify( thrd );
+	verify( thrd->cor.state != Halted );
 
 	verify( disable_preempt_count > 0 );