From abd38551619348e5effcebcdde492c4e77c95cf2 Mon Sep 17 00:00:00 2001 From: Martin Stein Date: Fri, 16 Nov 2018 17:48:30 +0100 Subject: [PATCH] test/rm_nested: fix EP double dissolve Fixes #3045 --- repos/base/src/test/rm_nested/main.cc | 2 -- 1 file changed, 2 deletions(-) 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);