diff --git a/repos/base/include/util/register_set.h b/repos/base/include/util/register_set.h index 807cb44212..384c4aa669 100644 --- a/repos/base/include/util/register_set.h +++ b/repos/base/include/util/register_set.h @@ -16,6 +16,7 @@ /* Genode includes */ #include +#include #include namespace Genode { @@ -83,7 +84,7 @@ struct Genode::Register_set_plain_access * 'Register_array_base' or 'Array_bitfield_base'. */ template -class Genode::Register_set +class Genode::Register_set : Noncopyable { private: