diff --git a/repos/base/include/util/xml_node.h b/repos/base/include/util/xml_node.h index 466654ceb0..9a82e77454 100644 --- a/repos/base/include/util/xml_node.h +++ b/repos/base/include/util/xml_node.h @@ -205,6 +205,19 @@ class Genode::Xml_node { private: + Xml_node(Xml_node const &other) + : + _addr(other._addr), _max_len(other._max_len), _tags(other._tags) + { } + + Xml_node &operator = (Xml_node const &other) + { + _addr = other._addr; + _max_len = other._max_len; + _tags = other._tags; + return *this; + } + using Token = Xml_attribute::Token; /**