From b8e98f235586a1eb4243bc2a43ba5917cb8d8b0d Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 4 Nov 2016 19:35:38 +0100
Subject: [PATCH] base: forward args in Output::print

The original version copied the arguments, which does not work for the
output of complex types, in particular non-copyable objects.
---
 repos/base/include/base/output.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base/include/base/output.h b/repos/base/include/base/output.h
index 9214321c07..ffb66a8fed 100644
--- a/repos/base/include/base/output.h
+++ b/repos/base/include/base/output.h
@@ -233,7 +233,7 @@ namespace Genode {
 	 * Print a variable number of arguments
 	 */
 	template <typename HEAD, typename... TAIL>
-	static inline void print(Output &output, HEAD const &head, TAIL... tail)
+	static inline void print(Output &output, HEAD const &head, TAIL &&... tail)
 	{
 		Output::out_args(output, head, tail...);
 	}