From 97dd1d57cffd42cd073792c0bfac120b00fc680e Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Tue, 9 Oct 2012 15:55:20 +0200
Subject: [PATCH] EGL: Aligned memory allocation

Free memory allocated with 'align_malloc' using 'align_free'.

Fixes issue #391
---
 libports/src/lib/egl/driver.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libports/src/lib/egl/driver.cc b/libports/src/lib/egl/driver.cc
index 098e74cb8..77264c3c9 100644
--- a/libports/src/lib/egl/driver.cc
+++ b/libports/src/lib/egl/driver.cc
@@ -128,7 +128,7 @@ class Pipe_buffer : public pipe_buffer
 		/**
 		 * Destructor
 		 */
-		~Pipe_buffer() { free(_data); }
+		~Pipe_buffer() { align_free(_data); }
 
 		void *data() const { return _data; }
 };