Index: libcfa/src/concurrency/channel.hfa
===================================================================
--- libcfa/src/concurrency/channel.hfa	(revision 7d25f441f46f87f370858dbcac73c01f4b7bc14f)
+++ libcfa/src/concurrency/channel.hfa	(revision 96ea77af927ee2270e825a6d94c3f6aefce4eed1)
@@ -340,6 +340,6 @@
     unlock( mutex_lock );
 
-    // only return true when not special OR case, not exceptional calse and status is SAT
-    return ( node.extra == 0p || !node.park_counter ) ? false : *node.clause_status == __SELECT_SAT;
+    // only return true when not special OR case and status is SAT
+    return !node.park_counter ? false : *node.clause_status == __SELECT_SAT;
 }
 
