From 80558374f572b4e5397b8115f1be72d5294c4587 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Tue, 13 Sep 2016 11:26:18 +0200
Subject: [PATCH] base: print support for Xml_node

Ref #1987
---
 repos/base/include/util/xml_node.h | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/repos/base/include/util/xml_node.h b/repos/base/include/util/xml_node.h
index c8b6193455..191bdb0e5a 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_ */