From 567ec255f1a9192c75f366e7c9f5ec5ecdd1d235 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:54:20 +0100
Subject: [PATCH] vbox_pointer: remove env deprecated warning

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

diff --git a/repos/ports/src/app/vbox_pointer/main.cc b/repos/ports/src/app/vbox_pointer/main.cc
index 569dac634..ed5ad2443 100644
--- a/repos/ports/src/app/vbox_pointer/main.cc
+++ b/repos/ports/src/app/vbox_pointer/main.cc
@@ -136,7 +136,7 @@ void Vbox_pointer::Main::_show_default_pointer()
 		return;
 	}
 
-	Genode::Attached_dataspace ds { _pointer_ds };
+	Genode::Attached_dataspace ds { _env.rm(), _pointer_ds };
 
 	convert_default_pointer_data_to_pixels(ds.local_addr<Genode::Pixel_rgb565>(),
 	                                       pointer_size);