mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
committed by
Christian Helmuth
parent
e370e08e01
commit
80558374f5
@@ -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_ */
|
||||
|
||||
Reference in New Issue
Block a user