From b4c5fb2d29b4df4c49b0f595ced5e9a3da121147 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Sun, 20 Dec 2015 13:20:40 +0100
Subject: [PATCH] sdl: use Genode::destroy to free framebuffer

Fixes #1838.
---
 repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc b/repos/libports/src/lib/sdl/video/SDL_genode_fb_video.cc
index de64d3371..d25e226cc 100644
--- 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;
 	}