sdl: use Genode::destroy to free framebuffer

Fixes #1838.
2015-12-20 13:20:40 +01:00 · 2015-12-20 13:20:40 +01:00 · b4c5fb2d29
parent a98e9c1822
commit b4c5fb2d29
1 changed files with 1 additions and 1 deletions
--- a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
+++ b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
@ -74,7 +74,7 @@ extern "C" {
 	{
 		PDBG("Free framebuffer session object");
 		if(framebuffer != 0)
-			delete framebuffer;
+			Genode::destroy(Genode::env()->heap(), framebuffer);
 		framebuffer = 0;
 	}