diff --git a/repos/os/src/server/dynamic_rom/main.cc b/repos/os/src/server/dynamic_rom/main.cc index 57492a2dc..1312004bd 100644 --- a/repos/os/src/server/dynamic_rom/main.cc +++ b/repos/os/src/server/dynamic_rom/main.cc @@ -164,11 +164,6 @@ class Dynamic_rom::Session_component : public Rpc_object _execute_steps_until_sleep(); } - ~Session_component() - { - _ep.dissolve(_timer_dispatcher); - } - Genode::Rom_dataspace_capability dataspace() override { using namespace Genode;