From ecbb7534b9aed9972d0be689d29595eb8a18f0dd Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Mon, 6 Mar 2017 13:28:25 +0100
Subject: [PATCH] register set: make noncopyable

If a register set gets copied, the '_plain_access' of the copy references
the plain access object of the original object.

Ref #2196
---
 repos/base/include/util/register_set.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 <util/register.h>
+#include <util/noncopyable.h>
 #include <base/exception.h>
 
 namespace Genode {
@@ -83,7 +84,7 @@ struct Genode::Register_set_plain_access
  * 'Register_array_base' or 'Array_bitfield_base'.
  */
 template <typename PLAIN_ACCESS>
-class Genode::Register_set
+class Genode::Register_set : Noncopyable
 {
 	private: