diff --git a/repos/base/src/include/base/internal/capability_space_tpl.h b/repos/base/src/include/base/internal/capability_space_tpl.h index 7ca5bff5a6..2fbb6f2cc5 100644 --- a/repos/base/src/include/base/internal/capability_space_tpl.h +++ b/repos/base/src/include/base/internal/capability_space_tpl.h @@ -191,10 +191,6 @@ class Genode::Capability_space_tpl Capability_space::Ipc_cap_data ipc_cap_data(Data const &data) const { - if (&data == nullptr) { - raw("ipc_cap_data nullptr"); - for (;;); - } return { data.dst, data.rpc_obj_key() }; }