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 - 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...); }