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