Index: libcfa/src/concurrency/kernel_private.hfa
===================================================================
--- libcfa/src/concurrency/kernel_private.hfa	(revision ea2074e147f08bec7cc5895e33bf66c399fd9d89)
+++ libcfa/src/concurrency/kernel_private.hfa	(revision 722c0848fd67feb35c28b6a159777986ca180e6d)
@@ -34,4 +34,6 @@
 static inline void WakeThread( thread_desc * thrd ) {
 	if( !thrd ) return;
+
+	verify(thrd->state == Inactive);
 
 	disable_interrupts();