diff --git a/repos/base-fiasco/src/lib/base/ipc.cc b/repos/base-fiasco/src/lib/base/ipc.cc index e0b8c4bff3..68e326025d 100644 --- a/repos/base-fiasco/src/lib/base/ipc.cc +++ b/repos/base-fiasco/src/lib/base/ipc.cc @@ -201,9 +201,6 @@ void Genode::ipc_reply(Native_capability caller, Rpc_exception_code exc, snd_header.protocol_word, snd_header.num_caps, L4_IPC_SEND_TIMEOUT_0, &result); - - if (L4_IPC_IS_ERROR(result)) - error("ipc_send error ", Hex(L4_IPC_ERROR(result)), ", ignored"); }