diff --git a/base-hw/src/core/kernel/thread.cc b/base-hw/src/core/kernel/thread.cc
index 296afd603f..6e2533be8e 100644
--- a/base-hw/src/core/kernel/thread.cc
+++ b/base-hw/src/core/kernel/thread.cc
@@ -131,10 +131,6 @@ void Thread::_await_ipc_failed()
 		user_arg_0(-1);
 		_schedule();
 		return;
-	case SCHEDULED:
-		PERR("failed to receive IPC");
-		_stop();
-		return;
 	default:
 		PERR("wrong thread state to cancel IPC");
 		_stop();