diff --git a/repos/base/include/util/xml_node.h b/repos/base/include/util/xml_node.h index c8b619345..191bdb0e5 100644 --- a/repos/base/include/util/xml_node.h +++ b/repos/base/include/util/xml_node.h @@ -906,6 +906,9 @@ class Genode::Xml_node try { sub_node(type); return true; } catch (...) { } return false; } + + void print(Output &output) const { + output.out_string(addr(), size()); } }; #endif /* _INCLUDE__UTIL__XML_NODE_H_ */