diff --git a/repos/base/src/test/rm_nested/main.cc b/repos/base/src/test/rm_nested/main.cc index 6a836dd8b..07f438e51 100644 --- a/repos/base/src/test/rm_nested/main.cc +++ b/repos/base/src/test/rm_nested/main.cc @@ -228,8 +228,6 @@ void Component::construct(Genode::Env & env) managed[i] = 13; } - fault_handler.dissolve(); - log("test destruction of region_map"); Capability rcap = rm.create(4096); rm.destroy(rcap);