vbox_pointer: remove env deprecated warning

Issue #2280.
2017-02-23 14:54:20 +01:00 · 2017-02-23 14:54:20 +01:00 · 567ec255f1
parent 552bb13f99
commit 567ec255f1
1 changed files with 1 additions and 1 deletions
--- 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);