From 33eefc440417cc4a043d7c840468a9d916c5104c Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 13 Jan 2017 16:28:07 +0100
Subject: [PATCH] mixer: API transition (fix 'deprecated' warning)

Issue #1987
---
 repos/os/src/server/mixer/mixer.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/server/mixer/mixer.cc b/repos/os/src/server/mixer/mixer.cc
index 121ffb91b2..304105cf65 100644
--- a/repos/os/src/server/mixer/mixer.cc
+++ b/repos/os/src/server/mixer/mixer.cc
@@ -193,7 +193,7 @@ class Audio_out::Mixer
 		 *
 		 * Each session in a channel is reported as an input node.
 		 */
-		Genode::Reporter reporter { "channel_list" };
+		Genode::Reporter reporter { env, "channel_list" };
 
 		/**
 		 * Report available channels