From dbb56a8068b44cb0c3e5ebb34b090668d0d0099e Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 13 Jan 2017 19:57:04 +0100
Subject: [PATCH] nit_fb: API transition (fix 'deprecated' warnings)

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

diff --git a/repos/os/src/server/nit_fb/main.cc b/repos/os/src/server/nit_fb/main.cc
index 97e3d70369..954b7d9d79 100644
--- a/repos/os/src/server/nit_fb/main.cc
+++ b/repos/os/src/server/nit_fb/main.cc
@@ -223,7 +223,7 @@ struct Nit_fb::Main : View_updater
 
 	Nitpicker::Session::View_handle view = nitpicker.create_view();
 
-	Genode::Attached_dataspace input_ds { nitpicker.input()->dataspace() };
+	Genode::Attached_dataspace input_ds { env.rm(), nitpicker.input()->dataspace() };
 
 	Framebuffer::Mode _initial_mode()
 	{