diff --git a/repos/base/include/base/registry.h b/repos/base/include/base/registry.h index 45c0bf9205..4fcd3cb8f2 100644 --- a/repos/base/include/base/registry.h +++ b/repos/base/include/base/registry.h @@ -49,9 +49,6 @@ class Genode::Registry_base Registry_base &_registry; - /** - * Protect '_reinsert_ptr' - */ Mutex _mutex { }; /*