isl_ctx_free: properly free allocated options
commit9adbecacd745f39cd51ae0b861caac63ecb7e842
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 5 Feb 2013 13:21:11 +0000 (5 14:21 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Tue, 5 Feb 2013 13:21:11 +0000 (5 14:21 +0100)
treed46b20081904d8e51f71b08dc37b9e62877da29c
parent17869fa8671914a23e72847240d0f9e8ba64060d
isl_ctx_free: properly free allocated options

The original code would only free the outer structure, without
freeing any of the internally allocated memory.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ctx.c