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