From 5cc036e6caff57e3c24d6597e93a2a8ac8829a36 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Mon, 16 Jan 2017 20:00:18 +0100
Subject: [PATCH] rom_prefetcher: API transition (fix 'deprecated' warnings)

Issue #1987
---
 repos/os/src/server/rom_prefetcher/main.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/src/server/rom_prefetcher/main.cc b/repos/os/src/server/rom_prefetcher/main.cc
index d28807c1f..ba129d7c6 100644
--- a/repos/os/src/server/rom_prefetcher/main.cc
+++ b/repos/os/src/server/rom_prefetcher/main.cc
@@ -5,7 +5,7 @@
  */
 
 /*
- * Copyright (C) 2011-2016 Genode Labs GmbH
+ * Copyright (C) 2011-2017 Genode Labs GmbH
  *
  * This file is part of the Genode OS framework, which is distributed
  * under the terms of the GNU General Public License version 2.
@@ -60,7 +60,7 @@ class Rom_prefetcher::Rom_session_component : public Genode::Rpc_object<Genode::
 		 */
 		Rom_session_component(Genode::Env &env, Genode::Session_label const &label)
 		:
-			_rom(label.string())
+			_rom(env, label.string())
 		{
 			prefetch_dataspace(env.rm(), _rom.dataspace());
 		}