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