From 552bb13f991f027baf5794161efe15bc88e8e047 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Thu, 23 Feb 2017 14:50:23 +0100
Subject: [PATCH] rom_logger: remove env deprecated warning

Issue #2280.
---
 repos/os/src/app/rom_logger/main.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/app/rom_logger/main.cc b/repos/os/src/app/rom_logger/main.cc
index 16e28811b..3df51b965 100644
--- a/repos/os/src/app/rom_logger/main.cc
+++ b/repos/os/src/app/rom_logger/main.cc
@@ -83,7 +83,7 @@ void Rom_logger::Main::_handle_update()
 	 * If ROM name changed, reconstruct '_rom_ds'
 	 */
 	if (rom_name != _rom_name) {
-		_rom_ds.construct(rom_name.string());
+		_rom_ds.construct(_env, rom_name.string());
 		_rom_ds->sigh(_update_handler);
 		_rom_name = rom_name;
 	}